diff options
Diffstat (limited to 'tiger-compiler/tests/unit/parse/tiger_factory/test_make_let_exp.cc')
| -rw-r--r-- | tiger-compiler/tests/unit/parse/tiger_factory/test_make_let_exp.cc | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/tiger-compiler/tests/unit/parse/tiger_factory/test_make_let_exp.cc b/tiger-compiler/tests/unit/parse/tiger_factory/test_make_let_exp.cc new file mode 100644 index 0000000..b88bd76 --- /dev/null +++ b/tiger-compiler/tests/unit/parse/tiger_factory/test_make_let_exp.cc @@ -0,0 +1,30 @@ +#include <ast/exp.hh> +#include <ast/libast.hh> +#include <criterion/criterion.h> +#include <criterion/assert.h> +#include <parse/libparse.hh> +#include <ast/fwd.hh> +#include <ast/pretty-printer.hh> + +TestSuite(BasicLet); + +Test(BasicLet, SimpleLet) +{ + std::cout << "----- SimpleLet -----"; + ast::PrettyPrinter print(std::cout); + ast::Exp* test = parse::parse("let function test(a : int) : int = a in end"); + cr_assert_not_null(test); + print(test); + cr_assert_eq(1, 1); +} + +TestSuite(RealisticLet); + +Test(RealisticLet, StuffedLet) +{ + ast::PrettyPrinter print(std::cout); + ast::Exp* test = parse::parse("let function test(a : int) : int = a var b := 84 type badaboum = array of int in test(b) end"); + cr_assert_not_null(test); + print(test); + cr_assert_eq(1, 1); +}
\ No newline at end of file |
