source: doc/theses/rob_schluntz_MMath/examples/variadic/sum1.c @ 807a632

arm-ehenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulation
Last change on this file since 807a632 was 67982887, checked in by Peter A. Buhr <pabuhr@…>, 4 years ago

specialize thesis directory-names

  • Property mode set to 100644
File size: 208 bytes
Line 
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.