ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
Last change
on this file since a51a02d 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
|
Rev | Line | |
---|
[7493339] | 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.