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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
#include "gtest/gtest.h"
#include "type.h"
#include "operation/math.h"
#include "conditional/if.h"
#include "list/cons.h"
#include "list/list.h"
class TypeAsValueTest : public ::testing::Test { };
TEST_F(TypeAsValueTest, BasicMath) {
// (+ 1 2)
EXPECT_EQ(3, ( tav::Add<tav::Int<1>, tav::Int<2>>::value ));
// (- 10 6)
EXPECT_EQ(4, ( tav::Substract<tav::Int<10>, tav::Int<6>>::value ));
// (* 2 21)
EXPECT_EQ(42, ( tav::Multiply<tav::Int<2>, tav::Int<21>>::value ));
// (/ 10 2)
EXPECT_EQ(5, ( tav::Divide<tav::Int<10>, tav::Int<2>>::value ));
}
TEST_F(TypeAsValueTest, Conditional) {
// (if #t 1 2)
EXPECT_EQ(1, ( tav::If<true, tav::Int<1>, tav::Int<2>>::value ));
// (if #f 1 2)
EXPECT_EQ(2, ( tav::If<false, tav::Int<1>, tav::Int<2>>::value ));
}
TEST_F(TypeAsValueTest, Cons) {
// (car (cons 1 void))
EXPECT_EQ(1, ( tav::Car<tav::Cons<tav::Int<1>, void>>::value ));
// (car (cons 1 2))
EXPECT_EQ(1, ( tav::Car<tav::Cons<tav::Int<1>, tav::Int<2>>>::value ));
// (cdr (cons 1 2))
EXPECT_EQ(2, ( tav::Cdr<tav::Cons<tav::Int<1>, tav::Int<2>>>::value ));
// (car (cdr (cons 1 (cons 2 3))))
EXPECT_EQ(2, ( tav::Car<tav::Cdr<tav::Cons<tav::Int<1>, tav::Cons<tav::Int<2>, tav::Int<3>>>>>::value ));
}
TEST_F(TypeAsValueTest, List) {
// (head (list 1))
EXPECT_EQ(1, ( tav::Head<tav::List<tav::Int<1>>::type>::value ));
// (head (list 1 2))
EXPECT_EQ(1, ( tav::Head<tav::List<tav::Int<1>, tav::Int<2>>::type>::value ));
// (head (tail (list 1 2)))
EXPECT_EQ(2, ( tav::Head<tav::Tail<tav::List<tav::Int<1>, tav::Int<2>>::type>>::value ));
// (head (tail (list 1 2 3)))
EXPECT_EQ(2, ( tav::Head<tav::Tail<tav::List<tav::Int<1>, tav::Int<2>, tav::Int<3>>::type>>::value ));
}
TEST_F(TypeAsValueTest, ListConcatenate) {
// (head (concatenate (list 1) (list 2)))
EXPECT_EQ(1, ( tav::Head<tav::Concatenate<tav::List<tav::Int<1>>::type, tav::List<tav::Int<2>>::type>::type>::value ));
// (head (tail (concatenate (list 1) (list 2))))
EXPECT_EQ(2, ( tav::Head<tav::Tail<tav::Concatenate<tav::List<tav::Int<1>>::type, tav::List<tav::Int<2>>::type>::type>>::value ));
}
int main(int argc, char **argv) {
testing::InitGoogleTest(&argc, argv);
return RUN_ALL_TESTS();
}
|
