summaryrefslogtreecommitdiff
path: root/tiger-compiler/tests/unit/parse/tiger_factory/test_make_let_exp.cc
diff options
context:
space:
mode:
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.cc30
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