Commit 306dd0d5 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

GHC 7.0 now rejects superclass equalities (rather than behaving inconsistently)

parent c2b61cd3
ClassEqContext.hs:5:1:
Alas, GHC 7.0 still cannot handle equality superclasses: a ~ b
In the context: (a ~ b)
While checking the super-classes of class `C'
In the class declaration for `C'
ClassEqContext2.hs:6:1:
Alas, GHC 7.0 still cannot handle equality superclasses: a ~ b
In the context: (a ~ b, Show a)
While checking the super-classes of class `C'
In the class declaration for `C'
ClassEqContext3.hs:6:1:
Alas, GHC 7.0 still cannot handle equality superclasses: a ~ b
In the context: (a ~ b)
While checking the super-classes of class `C'
In the class declaration for `C'
HO.hs:15:1:
Alas, GHC 7.0 still cannot handle equality superclasses:
SMMonad (SMRef m) ~ m
In the context: (SMMonad (SMRef m) ~ m)
While checking the super-classes of class `SM'
In the class declaration for `SM'
...@@ -93,9 +93,9 @@ test('ColInference4', normal, compile, ['']) ...@@ -93,9 +93,9 @@ test('ColInference4', normal, compile, [''])
test('ColInference5', normal, compile, ['']) test('ColInference5', normal, compile, [''])
test('ColInference6', normal, compile, ['']) test('ColInference6', normal, compile, [''])
test('ClassEqContext', normal, compile, ['']) test('ClassEqContext', normal, compile_fail, [''])
test('ClassEqContext2', normal, compile, ['']) test('ClassEqContext2', normal, compile_fail, [''])
test('ClassEqContext3', normal, compile, ['']) test('ClassEqContext3', normal, compile_fail, [''])
test('Col', normal, compile, ['']) test('Col', normal, compile, [''])
test('Col2', normal, compile, ['']) test('Col2', normal, compile, [''])
...@@ -109,14 +109,14 @@ test('InstEqContext3', expect_fail, compile, ['']) ...@@ -109,14 +109,14 @@ test('InstEqContext3', expect_fail, compile, [''])
test('InstContextNorm', normal, compile, ['']) test('InstContextNorm', normal, compile, [''])
test('HO', normal, compile, ['']) test('HO', normal, compile_fail, [''])
test('GivenCheck', normal, compile, ['']) test('GivenCheck', normal, compile, [''])
test('GivenCheckSwap', normal, compile, ['']) test('GivenCheckSwap', normal, compile, [''])
test('GivenCheckDecomp', normal, compile, ['']) test('GivenCheckDecomp', normal, compile, [''])
test('GivenCheckTop', normal, compile, ['']) test('GivenCheckTop', normal, compile, [''])
test('Gentle', expect_broken(816), compile, ['']) test('Gentle', normal, compile, [''])
test('T1981', normal, compile, ['']) test('T1981', normal, compile, [''])
test('T2238', expect_fail, compile, ['']) test('T2238', expect_fail, compile, [''])
test('OversatDecomp', normal, compile, ['']) test('OversatDecomp', 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