Commit 756b6183 authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.

TFs: 7 tests fail as they used unsupported superclass equalities

parent cff7590d
......@@ -92,9 +92,9 @@ test('ColInference4', normal, compile, [''])
test('ColInference5', normal, compile, [''])
test('ColInference6', normal, compile, [''])
test('ClassEqContext', normal, compile, [''])
test('ClassEqContext2', normal, compile, [''])
test('ClassEqContext3', normal, compile, [''])
test('ClassEqContext', expect_fail, compile, [''])
test('ClassEqContext2', expect_fail, compile, [''])
test('ClassEqContext3', expect_fail, compile, [''])
test('Col', normal, compile, [''])
test('Col2', normal, compile, [''])
......@@ -102,13 +102,13 @@ test('Col2', normal, compile, [''])
test('ColGivenCheck', normal, compile, [''])
test('ColGivenCheck2', normal, compile, [''])
test('InstEqContext', normal, compile, [''])
test('InstEqContext', expect_fail, compile, [''])
test('InstEqContext2', normal, compile, [''])
test('InstEqContext3', normal, compile, [''])
test('InstEqContext3', expect_fail, compile, [''])
test('InstContextNorm', normal, compile, [''])
test('HO', normal, compile, [''])
test('HO', expect_fail, compile, [''])
test('GivenCheck', normal, compile, [''])
test('GivenCheckSwap', normal, compile, [''])
......@@ -117,7 +117,7 @@ test('GivenCheckTop', normal, compile, [''])
test('Gentle', normal, compile, [''])
test('T1981', normal, compile, [''])
test('T2238', normal, compile, [''])
test('T2238', expect_fail, compile, [''])
test('OversatDecomp', normal, compile, [''])
test('T2219', 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