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

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since 490fb92e 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
RevLine 
[7493339]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.