Commit 84c8d1d2 authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.
Browse files

Fixed by removing GADT refinements in favour of equalities

parent 4da65e79
......@@ -50,9 +50,9 @@ test('Kind', normal, compile, [''])
test('GADT1', expect_fail, compile, [''])
test('GADT2', normal, compile, [''])
test('GADT3', normal, compile, [''])
test('GADT4', expect_fail, compile, [''])
test('GADT5', expect_fail, compile, [''])
test('GADT6', expect_fail, compile, [''])
test('GADT4', normal, compile, [''])
test('GADT5', normal, compile, [''])
test('GADT6', normal, compile, [''])
test('GADT7', expect_fail, compile, [''])
test('GADT8', normal, compile, [''])
test('GADT9', 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