ADT
ast-experimental
Last change
on this file since cd477ca was 67982887, checked in by Peter A. Buhr <pabuhr@…>, 7 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.