Commit ef9332fd authored by Ian Lynagh's avatar Ian Lynagh
Browse files

Remove tcfail111; duplicate of tcfail098

parent 024d7a34
......@@ -96,7 +96,6 @@ test('tcfail107', normal, compile_fail, [''])
test('tcfail108', normal, compile_fail, [''])
test('tcfail109', normal, compile_fail, [''])
test('tcfail110', normal, compile_fail, [''])
test('tcfail111', normal, compile_fail, [''])
test('tcfail112', normal, compile_fail, [''])
test('tcfail113', normal, compile_fail, [''])
test('tcfail114', normal, compile_fail, [''])
......
-- Ambiguity check for instance declarations
module ShouldFail where
class Wob a
instance Wob a => Wob Bool
tcfail111.hs:7:0:
Ambiguous constraint `Wob a'
At least one of the forall'd type variables mentioned by the constraint
must be reachable from the type after the '=>'
In the instance declaration for `Wob Bool'
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