tiger-compiler/tests/unit/parse/tiger_factory/test_make_let_exp.cc


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
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);
}