+ (name, code, tokens)
+
+let test_case_from_book_04 =
+ let name = "define a recursive function" in
+ let code =
+ " \
+ /* "^name^" */ \
+ let \
+ \
+ /* calculate n! */ \
+ function nfactor(n: int): int = \
+ if n = 0 \
+ then 1 \
+ else n * nfactor(n-1) \
+ \
+ in \
+ nfactor(10) \
+ end \
+ "
+ in
+ let tokens =
+ let open Tiger.Parser in
+ [ LET;
+ FUNCTION; ID "nfactor"; LPAREN; ID "n"; COLON; ID "int"; RPAREN; COLON; ID "int"; EQ;
+ IF; ID "n"; EQ; INT 0;
+ THEN; INT 1;
+ ELSE; ID "n"; TIMES; ID "nfactor"; LPAREN; ID "n"; MINUS; INT 1; RPAREN;
+ IN;
+ ID "nfactor"; LPAREN; INT 10; RPAREN;
+ END
+ ]
+ in
+ (name, code, tokens)
+
+let test_case_from_book_09 =
+ let name = "error : types of then - else differ" in
+ let code =
+ " \
+ /* "^name^" */ \
+ if (5>4) then 13 else \" \" \
+ "
+ in
+ let tokens =
+ let open Tiger.Parser in
+ [ IF; LPAREN; INT 5; GT; INT 4; RPAREN; THEN; INT 13; ELSE; STRING " "
+ ]
+ in
+ (* TODO: Type error test case *)
+ (name, code, tokens)