Commit 88fa1f9a authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Update expected output (mostly concerning deriving)

parent a2ec0875
......@@ -4,9 +4,11 @@ drvfail001.hs:15:0:
arising from the 'deriving' clause of a data type declaration
at drvfail001.hs:(15,0)-(16,21)
Possible fix: add an instance declaration for (Show (f (f a)))
When deriving the instance for (Show (SM f a))
drvfail001.hs:21:0:
No instance for (Show (f a))
arising from the 'deriving' clause of a data type declaration
at drvfail001.hs:(21,0)-(22,21)
Possible fix: add an instance declaration for (Show (f a))
When deriving the instance for (Show (Cons f a))
......@@ -10,3 +10,4 @@ drvfail002.hs:18:0:
arising from the 'deriving' clause of a data type declaration
at drvfail002.hs:18:0-25
Possible fix: add an instance declaration for (X T c)
When deriving the instance for (Show S)
......@@ -4,3 +4,4 @@ drvfail003.hs:13:0:
arising from the 'deriving' clause of a data type declaration
at drvfail003.hs:(13,0)-(16,58)
Possible fix: add an instance declaration for (Show (v (v a)))
When deriving the instance for (Show (Square_ v w a))
......@@ -4,3 +4,4 @@ drvfail007.hs:4:0:
arising from the 'deriving' clause of a data type declaration
at drvfail007.hs:4:0-38
Possible fix: add an instance declaration for (Eq (Int -> Int))
When deriving the instance for (Eq Foo)
......@@ -37,7 +37,7 @@ test('tcfail040', normal, compile_fail, [''])
test('tcfail042', normal, compile_fail, [''])
test('tcfail043', normal, compile_fail, [''])
test('tcfail044', normal, compile_fail, [''])
test('tcfail046', expect_broken(1432), compile_fail, [''])
test('tcfail046', normal, compile_fail, [''])
test('tcfail047', normal, compile_fail, [''])
test('tcfail048', normal, compile_fail, [''])
test('tcfail049', normal, compile_fail, [''])
......@@ -103,7 +103,7 @@ test('tcfail114', normal, compile_fail, [''])
test('tcfail115', only_compiler_types(['ghc']), compile_fail, [''])
test('tcfail116', normal, compile_fail, [''])
test('tcfail117', normal, compile_fail, [''])
test('tcfail118', expect_broken(1432), compile_fail, [''])
test('tcfail118', normal, compile_fail, [''])
test('tcfail119', normal, compile_fail, [''])
test('tcfail120', only_compiler_types(['ghc']), compile_fail, [''])
test('tcfail121', normal, compile_fail, [''])
......@@ -154,7 +154,7 @@ test('tcfail165', normal, compile, ['']) # Succeeds now!
test('tcfail166', normal, compile_fail, [''])
test('tcfail167', normal, compile_fail, [''])
test('tcfail168', normal, compile_fail, [''])
test('tcfail169', expect_broken(1432), compile_fail, [''])
test('tcfail169', normal, compile_fail, [''])
test('tcfail170', normal, compile_fail, [''])
test('tcfail171', normal, compile_fail, [''])
test('tcfail172', normal, compile_fail, [''])
......
......@@ -4,9 +4,11 @@ tcfail046.hs:9:0:
arising from the 'deriving' clause of a data type declaration
at tcfail046.hs:9:0-48
Possible fix: add an instance declaration for (Eq (Process a))
When deriving the instance for (Eq (Continuation a))
tcfail046.hs:17:0:
No instance for (Eq (Process a))
arising from the 'deriving' clause of a data type declaration
at tcfail046.hs:(17,0)-(21,13)
Possible fix: add an instance declaration for (Eq (Process a))
When deriving the instance for (Eq (Message a))
tcfail072.hs:23:12:
Ambiguous type variable `p' in the constraint:
`Ord p' arising from use of `g' at tcfail072.hs:23:12-14
`Ord p' arising from a use of `g' at tcfail072.hs:23:12-14
Probable fix: add a type signature that fixes these type variable(s)
tcfail072.hs:23:12:
Ambiguous type variable `q' in the constraint:
`Ord q' arising from use of `g' at tcfail072.hs:23:12-14
`Ord q' arising from a use of `g' at tcfail072.hs:23:12-14
Probable fix: add a type signature that fixes these type variable(s)
......@@ -4,5 +4,6 @@ tcfail118.hs:10:0:
arising from the 'deriving' clause of a data type declaration
at tcfail118.hs:10:0-29
Matching instances:
instance Eq Foo -- Defined at tcfail118.hs:11:5
instance Eq Foo -- Defined at tcfail118.hs:13:0
instance Eq Foo -- Defined at tcfail118.hs:11:5-7
instance Eq Foo -- Defined at tcfail118.hs:(13,0)-(14,20)
When deriving the instance for (Eq Bar)
tcfail169.hs:7:5:
tcfail169.hs:7:0:
No instance for (Show (Succ a))
arising from the 'deriving' clause of a data type declaration
at tcfail169.hs:7:5
at tcfail169.hs:7:0-53
Possible fix: add an instance declaration for (Show (Succ a))
When deriving the instance for `Show (Seq a)'
When deriving the instance for (Show (Seq a))
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