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
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
|
#include <metalang99/assert.h>
#include <metalang99/util.h>
int main(void) {
// ML99_cat(Eval), ML99_cat(3|4)
{
ML99_ASSERT_EQ(ML99_cat(v(12), v(345)), v(12345));
ML99_ASSERT_EQ(ML99_cat3(v(12), v(3), v(45)), v(12345));
ML99_ASSERT_EQ(ML99_cat4(v(12), v(3), v(4), v(5)), v(12345));
#define ABC v(123)
ML99_ASSERT_EQ(ML99_catEval(v(A), v(BC)), v(123));
#undef ABC
}
// ML99_CAT, ML99_CAT(3|4)
{
ML99_ASSERT_UNEVAL(ML99_CAT(12, 345) == 12345);
ML99_ASSERT_UNEVAL(ML99_CAT3(12, 3, 45) == 12345);
ML99_ASSERT_UNEVAL(ML99_CAT4(12, 3, 4, 5) == 12345);
}
#define CHECK(x, y) ML99_ASSERT_UNEVAL(x == 518 && y == 1910)
#define CHECK_EXPAND(args) CHECK args
// ML99_id
{
ML99_ASSERT_EMPTY(ML99_id(v()));
CHECK_EXPAND(ML99_EVAL(ML99_id(v((518, 1910)))));
ML99_ASSERT_EQ(ML99_appl(ML99_compose(v(ML99_id), v(ML99_id)), v(181)), v(181));
}
#undef CHECK
#undef CHECK_EXPAND
// ML99_ID
{
ML99_ASSERT_EMPTY_UNEVAL(ML99_ID());
ML99_ASSERT_UNEVAL(ML99_ID(123) == 123);
}
// ML99_const
{ ML99_ASSERT_EQ(ML99_appl2(v(ML99_const), v(1810), v(~)), v(1810)); }
#define ABC ML99_TRUE()
// ML99_flip
{ ML99_ASSERT(ML99_appl2(ML99_flip(v(ML99_cat)), v(C), v(AB))); }
#undef ABC
// ML99_uncomma
{
ML99_ASSERT_EMPTY(ML99_uncomma(ML99_QUOTE(v())));
ML99_ASSERT_EQ(ML99_uncomma(ML99_QUOTE(v(1), v(+), v(2), v(+), v(3))), v(1 + 2 + 3));
}
#define F(x, y, z) x + y + z
// ML99_reify
{ ML99_ASSERT_EQ(ML99_appl(ML99_reify(v(F)), v(1, 2, 3)), v(1 + 2 + 3)); }
#undef F
// ML99_empty
{
ML99_ASSERT_EMPTY(ML99_empty(v()));
ML99_ASSERT_EMPTY(ML99_empty(v(1, 2, 3)));
}
// ML99_EMPTY
{
ML99_ASSERT_EMPTY_UNEVAL(ML99_EMPTY());
ML99_ASSERT_EMPTY_UNEVAL(ML99_EMPTY(1, 2, 3));
}
#define F 3 ML99_RPAREN(~, ~, ~) + G ML99_LPAREN(~, ~, ~) 1, 2,
#define G(_1, _2, _3) _1##_2##_3
// ML99_LPAREN, ML99_RPAREN
{
// G(1, 2, 3) + G(1, 2, 3) + G(1, 2, 3) + G(1, 2, 3)
ML99_ASSERT_UNEVAL(ML99_ID(G ML99_LPAREN() 1, 2, F F F 3 ML99_RPAREN() == 123 * 4));
}
#undef F
#undef G
#define CHECK(x, y, z) ML99_ASSERT_UNEVAL(x == 5 && y == 6 && z == 7)
#define CHECK_EXPAND(args) CHECK(args)
// ML99_COMMA
{ CHECK_EXPAND(5 ML99_COMMA() 6 ML99_COMMA(~, ~, ~) 7); }
#undef CHECK
#undef CHECK_EXPAND
// ML99_GEN_SYM
{
#define TEST(...) TEST_NAMED(ML99_GEN_SYM(TEST_, x), __VA_ARGS__)
#define TEST_NAMED(x_sym, ...) \
do { \
int x_sym = 5; \
(void)x_sym; \
__VA_ARGS__ \
} while (0)
// `x` here will not conflict the the `x` inside `TEST`.
TEST(int x = 123; (void)x;);
#undef TEST
#undef TEST_NAMED
// Two identical calls to `ML99_GEN_SYM` must yield different identifiers.
#define TEST(x1_sym, x2_sym) \
do { \
int x1_sym, x2_sym; \
(void)x1_sym; \
(void)x2_sym; \
} while (0)
TEST(ML99_GEN_SYM(TEST_, x), ML99_GEN_SYM(TEST_, x));
#undef TEST
}
// ML99_TRAILING_SEMICOLON
{
ML99_TRAILING_SEMICOLON();
ML99_TRAILING_SEMICOLON(~, ~, ~);
}
}
|
