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

TypeFamilies: for additional tests fixed by properly zonking EqInsts

parent e1674ac4
......@@ -10,12 +10,12 @@ test('Simple6', normal, compile, [''])
test('Simple7', normal, compile, [''])
test('Simple8', expect_fail, compile, [''])
test('Simple9', normal, compile, [''])
test('Simple10', expect_fail, compile, [''])
test('Simple11', expect_fail, compile, [''])
test('Simple10', normal, compile, [''])
test('Simple11', normal, compile, [''])
test('Simple12', expect_fail_if_compiler_lt('ghc','6.9'), compile, [''])
test('Simple13', normal, compile, [''])
test('Simple14', expect_fail, compile, [''])
test('Simple15', expect_fail, compile, [''])
test('Simple15', normal, compile, [''])
test('Simple16', normal, compile, [''])
test('Simple17', expect_fail, compile, [''])
test('Simple18', normal, compile, [''])
......@@ -64,7 +64,7 @@ test('Class2', normal, compile, [''])
test('Class3', expect_fail, compile, [''])
test('Refl', normal, compile, [''])
test('Refl2', expect_fail, compile, [''])
test('Refl2', normal, compile, [''])
test('Rules1', normal, compile, [''])
......
Markdown is supported
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