tests/type_funcall/f+g.e.expect_lexer

+SYM_INT
+SYM_IDENTIFIER(f)
+SYM_LPARENTHESIS
+SYM_INT
+SYM_IDENTIFIER(x)
+SYM_RPARENTHESIS
+SYM_LBRACE
+SYM_RETURN
+SYM_IDENTIFIER(x)
+SYM_PLUS
+SYM_INTEGER(2)
+SYM_SEMICOLON
+SYM_RBRACE
+SYM_INT
+SYM_IDENTIFIER(g)
+SYM_LPARENTHESIS
+SYM_INT
+SYM_IDENTIFIER(y)
+SYM_RPARENTHESIS
+SYM_LBRACE
+SYM_RETURN
+SYM_IDENTIFIER(y)
+SYM_ASTERISK
+SYM_INTEGER(3)
+SYM_SEMICOLON
+SYM_RBRACE
+SYM_INT
+SYM_IDENTIFIER(main)
+SYM_LPARENTHESIS
+SYM_RPARENTHESIS
+SYM_LBRACE
+SYM_RETURN
+SYM_IDENTIFIER(f)
+SYM_LPARENTHESIS
+SYM_INTEGER(8)
+SYM_RPARENTHESIS
+SYM_PLUS
+SYM_IDENTIFIER(g)
+SYM_LPARENTHESIS
+SYM_INTEGER(5)
+SYM_RPARENTHESIS
+SYM_SEMICOLON
+SYM_RBRACE
+SYM_EOF

tests/type_funcall/f_3.e

+int f(){
+  return 3;
+}
+int main(){
+  return f();
+}

tests/type_funcall/f_3.e.expect_14_12_3_8_12

+{"output": "", "error": null, "retval": 3}
\ No newline at end of file

tests/type_funcall/f_3.e.expect_1_2_3

+{"output": "", "error": null, "retval": 3}
\ No newline at end of file

tests/type_funcall/f_3.e.expect_lexer

+SYM_INT
+SYM_IDENTIFIER(f)
+SYM_LPARENTHESIS
+SYM_RPARENTHESIS
+SYM_LBRACE
+SYM_RETURN
+SYM_INTEGER(3)
+SYM_SEMICOLON
+SYM_RBRACE
+SYM_INT
+SYM_IDENTIFIER(main)
+SYM_LPARENTHESIS
+SYM_RPARENTHESIS
+SYM_LBRACE
+SYM_RETURN
+SYM_IDENTIFIER(f)
+SYM_LPARENTHESIS
+SYM_RPARENTHESIS
+SYM_SEMICOLON
+SYM_RBRACE
+SYM_EOF

tests/type_funcall/fib.e

+int fib(int n){
+  if(n > 14){ return -1; }
+  if(n <= 2){
+    return 1;
+  } else {
+    return fib(n-1) + fib(n-2);
+  }
+}
+int main(int n){
+  return fib(n);
+}

tests/type_funcall/fib.e.expect_14_12_3_8_12

+{"output": "", "error": null, "retval": 377}
\ No newline at end of file

tests/type_funcall/fib.e.expect_1_2_3

+{"output": "", "error": null, "retval": 1}
\ No newline at end of file

tests/type_funcall/fib.e.expect_lexer

+SYM_INT
+SYM_IDENTIFIER(fib)
+SYM_LPARENTHESIS
+SYM_INT
+SYM_IDENTIFIER(n)
+SYM_RPARENTHESIS
+SYM_LBRACE
+SYM_IF
+SYM_LPARENTHESIS
+SYM_IDENTIFIER(n)
+SYM_GT
+SYM_INTEGER(14)
+SYM_RPARENTHESIS
+SYM_LBRACE
+SYM_RETURN
+SYM_MINUS
+SYM_INTEGER(1)
+SYM_SEMICOLON
+SYM_RBRACE
+SYM_IF
+SYM_LPARENTHESIS
+SYM_IDENTIFIER(n)
+SYM_LEQ
+SYM_INTEGER(2)
+SYM_RPARENTHESIS
+SYM_LBRACE
+SYM_RETURN
+SYM_INTEGER(1)
+SYM_SEMICOLON
+SYM_RBRACE
+SYM_ELSE
+SYM_LBRACE
+SYM_RETURN
+SYM_IDENTIFIER(fib)
+SYM_LPARENTHESIS
+SYM_IDENTIFIER(n)
+SYM_MINUS
+SYM_INTEGER(1)
+SYM_RPARENTHESIS
+SYM_PLUS
+SYM_IDENTIFIER(fib)
+SYM_LPARENTHESIS
+SYM_IDENTIFIER(n)
+SYM_MINUS
+SYM_INTEGER(2)
+SYM_RPARENTHESIS
+SYM_SEMICOLON
+SYM_RBRACE
+SYM_RBRACE
+SYM_INT
+SYM_IDENTIFIER(main)
+SYM_LPARENTHESIS
+SYM_INT
+SYM_IDENTIFIER(n)
+SYM_RPARENTHESIS
+SYM_LBRACE
+SYM_RETURN
+SYM_IDENTIFIER(fib)
+SYM_LPARENTHESIS
+SYM_IDENTIFIER(n)
+SYM_RPARENTHESIS
+SYM_SEMICOLON
+SYM_RBRACE
+SYM_EOF

tests/type_funcall/gcdrec.e

+int gcd(int a, int b){
+ if(b == 0){
+   return a;
+ } else {
+   return gcd(b, a % b);
+ }
+}
+int main(int a, int b){
+  return gcd(a,b);
+}

tests/type_funcall/gcdrec.e.expect_14_12_3_8_12

+{"output": "", "error": null, "retval": 2}
\ No newline at end of file

tests/type_funcall/gcdrec.e.expect_1_2_3

+{"output": "", "error": null, "retval": 1}
\ No newline at end of file

tests/type_funcall/gcdrec.e.expect_lexer

+SYM_INT
+SYM_IDENTIFIER(gcd)
+SYM_LPARENTHESIS
+SYM_INT
+SYM_IDENTIFIER(a)
+SYM_COMMA
+SYM_INT
+SYM_IDENTIFIER(b)
+SYM_RPARENTHESIS
+SYM_LBRACE
+SYM_IF
+SYM_LPARENTHESIS
+SYM_IDENTIFIER(b)
+SYM_EQUALITY
+SYM_INTEGER(0)
+SYM_RPARENTHESIS
+SYM_LBRACE
+SYM_RETURN
+SYM_IDENTIFIER(a)
+SYM_SEMICOLON
+SYM_RBRACE
+SYM_ELSE
+SYM_LBRACE
+SYM_RETURN
+SYM_IDENTIFIER(gcd)
+SYM_LPARENTHESIS
+SYM_IDENTIFIER(b)
+SYM_COMMA
+SYM_IDENTIFIER(a)
+SYM_MOD
+SYM_IDENTIFIER(b)
+SYM_RPARENTHESIS
+SYM_SEMICOLON
+SYM_RBRACE
+SYM_RBRACE
+SYM_INT
+SYM_IDENTIFIER(main)
+SYM_LPARENTHESIS
+SYM_INT
+SYM_IDENTIFIER(a)
+SYM_COMMA
+SYM_INT
+SYM_IDENTIFIER(b)
+SYM_RPARENTHESIS
+SYM_LBRACE
+SYM_RETURN
+SYM_IDENTIFIER(gcd)
+SYM_LPARENTHESIS
+SYM_IDENTIFIER(a)
+SYM_COMMA
+SYM_IDENTIFIER(b)
+SYM_RPARENTHESIS
+SYM_SEMICOLON
+SYM_RBRACE
+SYM_EOF

tests/type_funcall/hanoi.e

+int hanoi(int n)
+{
+  if(n > 0)
+    {
+      int x = hanoi(n-1);
+      return 1 + 2 * x;
+    }
+  return 0;
+}
+int main(int ndisque){
+  return hanoi(ndisque);
+}

tests/type_funcall/hanoi.e.expect_14_12_3_8_12

+{"output": "", "error": null, "retval": 16383}
\ No newline at end of file

tests/type_funcall/hanoi.e.expect_1_2_3

+{"output": "", "error": null, "retval": 1}
\ No newline at end of file

tests/type_funcall/hanoi.e.expect_lexer

+SYM_INT
+SYM_IDENTIFIER(hanoi)
+SYM_LPARENTHESIS
+SYM_INT
+SYM_IDENTIFIER(n)
+SYM_RPARENTHESIS
+SYM_LBRACE
+SYM_IF
+SYM_LPARENTHESIS
+SYM_IDENTIFIER(n)
+SYM_GT
+SYM_INTEGER(0)
+SYM_RPARENTHESIS
+SYM_LBRACE
+SYM_INT
+SYM_IDENTIFIER(x)
+SYM_ASSIGN
+SYM_IDENTIFIER(hanoi)
+SYM_LPARENTHESIS
+SYM_IDENTIFIER(n)
+SYM_MINUS
+SYM_INTEGER(1)
+SYM_RPARENTHESIS
+SYM_SEMICOLON
+SYM_RETURN
+SYM_INTEGER(1)
+SYM_PLUS
+SYM_INTEGER(2)
+SYM_ASTERISK
+SYM_IDENTIFIER(x)
+SYM_SEMICOLON
+SYM_RBRACE
+SYM_RETURN
+SYM_INTEGER(0)
+SYM_SEMICOLON
+SYM_RBRACE
+SYM_INT
+SYM_IDENTIFIER(main)
+SYM_LPARENTHESIS
+SYM_INT
+SYM_IDENTIFIER(ndisque)
+SYM_RPARENTHESIS
+SYM_LBRACE
+SYM_RETURN
+SYM_IDENTIFIER(hanoi)
+SYM_LPARENTHESIS
+SYM_IDENTIFIER(ndisque)
+SYM_RPARENTHESIS
+SYM_SEMICOLON
+SYM_RBRACE
+SYM_EOF

tests/type_funcall/lots_of_args.e

+int f(int a,
+  int b,
+  int c,
+  int d,
+  int e,
+  int f,
+  int g,
+  int h,
+  int i,
+  int j
+  ){
+  return a + b * c + d * e * f + g * h * i * j;
+}
+
+int main(){
+  return f(1,2,3,4,5,6,7,8,9,10);
+}

tests/type_funcall/lots_of_args.e.expect_14_12_3_8_12

+{"output": "", "error": null, "retval": 5167}
\ No newline at end of file

tests/type_funcall/lots_of_args.e.expect_1_2_3

+{"output": "", "error": null, "retval": 5167}
\ No newline at end of file