source: doc/theses/rob_schluntz_MMath/examples/variadic/sum2.c @ b797d978

ADTast-experimental
Last change on this file since b797d978 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 
1int sum(int x, int y){
2  return x+y;
3}
4forall(ttype Params | { int sum(int, Params); })
5int sum(int x, int y, Params rest) {
6  return sum(x+y, rest);
7}
8int main() {
9  printf("%d\n", sum(10, 20, 30, 40, 50, 60));
10}
Note: See TracBrowser for help on using the repository browser.