Commit 11c398df authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

InstEqContext and InstEqContext3 both pass now (superclass equalities work)

parent 1409f85a
......@@ -99,9 +99,9 @@ test('Col2', normal, compile, [''])
test('ColGivenCheck', normal, compile, [''])
test('ColGivenCheck2', normal, compile, [''])
test('InstEqContext', expect_fail, compile, [''])
test('InstEqContext', normal, compile, [''])
test('InstEqContext2', normal, compile, [''])
test('InstEqContext3', expect_fail, compile, [''])
test('InstEqContext3', normal, compile, [''])
test('InstContextNorm', 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