ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change
on this file since 1e24d13 was
67982887,
checked in by Peter A. Buhr <pabuhr@…>, 6 years ago
|
specialize thesis directory-names
|
-
Property mode set to
100644
|
File size:
214 bytes
|
Line | |
---|
1 | int sum(int x, int y){ |
---|
2 | return x+y; |
---|
3 | } |
---|
4 | forall(ttype Params | { int sum(int, Params); }) |
---|
5 | int sum(int x, int y, Params rest) { |
---|
6 | return sum(x+y, rest); |
---|
7 | } |
---|
8 | int main() { |
---|
9 | printf("%d\n", sum(10, 20, 30, 40, 50, 60)); |
---|
10 | } |
---|
Note: See
TracBrowser
for help on using the repository browser.