test_case_1 and test_case_2 in test/ex_type/checker_test_case.ex don't succeed because union types and case constructions don't yet work properly. For a case expression to typecheck correctly, one has to subtract the types of the previous cases from the union for further cases.
test_case_1andtest_case_2intest/ex_type/checker_test_case.exdon't succeed because union types andcaseconstructions don't yet work properly. For acaseexpression to typecheck correctly, one has to subtract the types of the previous cases from the union for further cases.