source: doc/theses/rob_schluntz_MMath/examples/variadic/sum1.c @ 562ccf9

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