#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
}