Commit 6c949914 authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.
Browse files

type families: Temporary fail

- GADT3 fails with equalities instead of GADT refinement due to a known bug
parent 84c8d1d2
......@@ -49,7 +49,7 @@ test('Kind', normal, compile, [''])
test('GADT1', expect_fail, compile, [''])
test('GADT2', normal, compile, [''])
test('GADT3', normal, compile, [''])
test('GADT3', expect_fail, compile, [''])
test('GADT4', normal, compile, [''])
test('GADT5', normal, compile, [''])
test('GADT6', normal, compile, [''])
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment