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

ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since bd50205 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 
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.