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