+let test_cases_from_book =
+ [ test_case_from_book_01
+ ; test_case_from_book_02
+ ; test_case_from_book_03
+ ; test_case_from_book_04
+ ; test_case_from_book_09
+ ; test_case_from_book_queens
+ ]
+
+let tests_micro_cases =
+ let open Tiger.Parser in
+ [ (
+ let code =
+ "nil"
+ in
+ let tokens =
+ [NIL]
+ in
+ (code, code, tokens)
+ )
+ ; (
+ let code =
+ "5"
+ in
+ let tokens =
+ [INT 5]
+ in
+ (code, code, tokens)
+ )
+ ; (
+ let code =
+ "-5"
+ in
+ let tokens =
+ [MINUS; INT 5]
+ in
+ (code, code, tokens)
+ )
+ ; (
+ let code =
+ "f()"
+ in
+ let tokens =
+ [ID "f"; LPAREN; RPAREN]
+ in
+ (code, code, tokens)
+ )
+ ; (
+ let code =
+ "f(\"a\", 3, foo)"
+ in
+ let tokens =
+ [ID "f"; LPAREN; STRING "a"; COMMA; INT 3; COMMA; ID "foo"; RPAREN]
+ in
+ (code, code, tokens)
+ )
+ ; (
+ let code =
+ "abc.i"
+ in
+ let tokens =
+ [ID "abc"; DOT; ID "i"]
+ in
+ (code, code, tokens)
+ )
+ ; (
+ let code =
+ "abc [5] of nil"
+ in
+ let tokens =
+ [ID "abc"; LBRACK; INT 5; RBRACK; OF; NIL]
+ in
+ (code, code, tokens)
+ )
+ ; (
+ let code =
+ "abc[0]"
+ in
+ let tokens =
+ [ID "abc"; LBRACK; INT 0; RBRACK]
+ in
+ (code, code, tokens)
+ )
+ ; (
+ let code =
+ "abc[0] := foo()"
+ in
+ let tokens =
+ [ID "abc"; LBRACK; INT 0; RBRACK; ASSIGN; ID "foo"; LPAREN; RPAREN]
+ in
+ (code, code, tokens)
+ )