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
|
#include <metalang99/assert.h>
#include <metalang99/choice.h>
int main(void) {
#define MATCH_IMPL(foo) ML99_match(v(foo), v(MATCH_))
#define MATCH_FooA_IMPL(x) v(ML99_ASSERT_UNEVAL(x == 19))
#define MATCH_FooB_IMPL(x) v(ML99_ASSERT_UNEVAL(x == 1756))
#define MATCH_FooC_IMPL(_) v(ML99_ASSERT_UNEVAL(1))
// ML99_match
{
ML99_EVAL(ML99_call(MATCH, ML99_choice(v(FooA), v(19))));
ML99_EVAL(ML99_call(MATCH, ML99_choice(v(FooB), v(1756))));
ML99_EVAL(ML99_call(MATCH, ML99_choice(v(FooC), v(~))));
}
#undef MATCH_IMPL
#undef MATCH_FooA_IMPL
#undef MATCH_FooB_IMPL
#undef MATCH_FooC_IMPL
#define MATCH_IMPL(foo) ML99_matchWithArgs(v(foo), v(MATCH_), v(3, 8))
#define MATCH_FooA_IMPL(x, _3, _8) v(ML99_ASSERT_UNEVAL(x == 19 && _3 == 3 && _8 == 8))
#define MATCH_FooB_IMPL(x, _3, _8) v(ML99_ASSERT_UNEVAL(x == 1756 && _3 == 3 && _8 == 8))
#define MATCH_FooC_IMPL(_, _3, _8) v(ML99_ASSERT_UNEVAL(_3 == 3 && _8 == 8))
// ML99_matchWithArgs
{
ML99_EVAL(ML99_call(MATCH, ML99_choice(v(FooA), v(19))));
ML99_EVAL(ML99_call(MATCH, ML99_choice(v(FooB), v(1756))));
ML99_EVAL(ML99_call(MATCH, ML99_choice(v(FooC), v(~))));
}
#undef MATCH_IMPL
#undef MATCH_FooA_IMPL
#undef MATCH_FooB_IMPL
#undef MATCH_FooC_IMPL
#define CHECK(x, y, z) ML99_ASSERT_UNEVAL(x == 1 && y == 2 && z == 3)
#define CHECK_EXPAND(args) CHECK(args)
// ML99_choiceTag, ML99_choiceData
{
ML99_ASSERT_EQ(ML99_choiceTag(ML99_choice(v(5), v(1, 2, 3))), v(5));
CHECK_EXPAND(ML99_EVAL(ML99_choiceData(ML99_choice(v(5), v(1, 2, 3)))));
}
// ML99_CHOICE, ML99_CHOICE_TAG, ML99_CHOICE_DATA
{
ML99_ASSERT_UNEVAL(ML99_CHOICE_TAG(ML99_CHOICE(5, 1, 2, 3)) == 5);
CHECK_EXPAND(ML99_CHOICE_DATA(ML99_CHOICE(5, 1, 2, 3)));
}
#undef CHECK
#undef CHECK_EXPAND
#define CHECK(tag, x, y, z) tag == 5 && x == 1 && y == 2 && z == 3
// Representation
{ ML99_ASSERT_UNEVAL(CHECK ML99_CHOICE(5, 1, 2, 3)); }
#undef CHECK
}
|
