1 files changed, 64 insertions, 0 deletions
diff --git a/test/external/metalang99/tests/choice.c b/test/external/metalang99/tests/choice.c
new file mode 100644
index 0000000..93f4fb5
--- /dev/null
+++ b/test/external/metalang99/tests/choice.c
@@ -0,0 +1,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
+}