Commit 3ffe92d5 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

More test-suite updates

parent 7dbce82b
drvfail001.hs:15:0:
No instance for (Show (f (f a)))
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)))
drvfail001.hs:21:0:
Non type-variable argument in the constraint: Show (f a)
(Use -fglasgow-exts to permit this)
In the context: (Show (f a), Show a)
While checking the context of an instance declaration
In the derived instance: (Show (f a), Show a) => Show (Cons f a)
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))
......@@ -6,7 +6,7 @@ drvfail002.hs:15:0:
In the instance declaration for `Show T'
drvfail002.hs:18:0:
Can't derive instances where the instance context mentions
type variables that are not data type parameters
Offending constraint: X T c
In the derived instance: (X T c) => Show S
No instance for (X T c)
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)
drvfail003.hs:13:0:
Variable occurs more often in a constraint than in the instance head
in the constraint: Show (v (v a))
(Use -fallow-undecidable-instances to permit this)
In the derived instance: (Show (v (v a))) => Show (Square_ v w a)
No instance for (Show (v (v a)))
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)))
drvfail007.hs:4:0:
Non type-variable argument in the constraint: Eq (Int -> Int)
(Use -fglasgow-exts to permit this)
In the context: (Eq (Int -> Int))
While checking the context of an instance declaration
In the derived instance: (Eq (Int -> Int)) => Eq Foo
No instance for (Eq (Int -> Int))
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))
tcfail046.hs:9:6:
tcfail046.hs:9:0:
No instance for (Eq (Process a))
arising from the 'deriving' clause of a data type declaration
at tcfail046.hs:9:6
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:5:
tcfail046.hs:17:0:
No instance for (Eq (Process a))
arising from the 'deriving' clause of a data type declaration
at tcfail046.hs:17:5
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)'
tcfail118.hs:10:5:
tcfail118.hs:10:0:
Overlapping instances for Eq Foo
arising from the 'deriving' clause of a data type declaration
at tcfail118.hs:10:5
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
When deriving the instance for `Eq Bar'
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