Commit 24dd8008 authored by simonmar's avatar simonmar
Browse files

[project @ 2005-06-27 09:18:32 by simonmar]

update output
parent 98b545b7
mod44.hs:4:0:
Duplicate instance declarations:
instance Eq T (Defined at mod44.hs:4:0)
instance Eq T (Defined at mod44.hs:5:0)
instance Eq T -- Defined at mod44.hs:4:0
instance Eq T -- Defined at mod44.hs:5:0
mod51.hs:3:5:
Duplicate instance declarations:
instance Eq T (Defined at mod51.hs:3:5)
instance Eq T (Defined at mod51.hs:3:5)
instance Eq T -- Defined at mod51.hs:3:5
instance Eq T -- Defined at mod51.hs:3:5
mod52.hs:3:5:
Duplicate instance declarations:
instance Eq T (Defined at mod52.hs:3:5)
instance Eq T (Defined at mod52.hs:4:0)
instance Eq T -- Defined at mod52.hs:3:5
instance Eq T -- Defined at mod52.hs:4:0
tcfail023.hs:10:0:
Duplicate instance declarations:
instance A B (Defined at tcfail023.hs:10:0)
instance A B (Defined at tcfail023.hs:13:0)
tcfail023.hs:10:0:
Duplicate instance declarations:
instance A B -- Defined at tcfail023.hs:10:0
instance A B -- Defined at tcfail023.hs:13:0
tcfail032.hs:14:7:
Inferred type is less polymorphic than expected
Quantified type variable `a' is mentioned in the environment:
f :: (a -> Int) -> t (bound at tcfail032.hs:14:0)
x :: a -> Int (bound at tcfail032.hs:14:2)
In the expression: x :: (Eq a) => a -> Int
In the definition of `f': f x = (x :: (Eq a) => a -> Int)
tcfail032.hs:14:7:
Inferred type is less polymorphic than expected
Quantified type variable `a' is mentioned in the environment:
x :: a -> Int (bound at tcfail032.hs:14:2)
In the expression: x :: (Eq a) => a -> Int
In the definition of `f': f x = (x :: (Eq a) => a -> Int)
tcfail035.hs:6:0:
Duplicate instance declarations:
instance Num NUM (Defined at tcfail035.hs:6:0)
instance Num NUM (Defined at tcfail035.hs:7:0)
tcfail035.hs:6:0:
Duplicate instance declarations:
instance Num NUM -- Defined at tcfail035.hs:6:0
instance Num NUM -- Defined at tcfail035.hs:7:0
tcfail036.hs:6:0:
Duplicate instance declarations:
instance Num NUM (Defined at tcfail036.hs:6:0)
instance Num NUM (Defined at tcfail036.hs:8:0)
tcfail036.hs:9:12:
Class `Num' used as a type
In the type `Num'
In the instance declaration for `Eq Num'
tcfail036.hs:6:0:
Duplicate instance declarations:
instance Num NUM -- Defined at tcfail036.hs:6:0
instance Num NUM -- Defined at tcfail036.hs:8:0
tcfail036.hs:9:12:
Class `Num' used as a type
In the type `Num'
In the instance declaration for `Eq Num'
tcfail073.hs:8:0:
Duplicate instance declarations:
instance (Eq a) => Eq (a, b) (Defined at tcfail073.hs:8:0)
instance (Eq a, Eq b) => Eq (a, b) (Imported from Data.Tuple)
instance (Eq a) => Eq (a, b) -- Defined at tcfail073.hs:8:0
instance (Eq a, Eq b) => Eq (a, b) -- Imported from Data.Tuple
tcfail096.hs:23:0:
Functional dependencies conflict between instance declarations:
instance Foo (p -> s) (t p) (t s) (Defined at tcfail096.hs:23:0)
instance Foo ((a, b) -> r) (c a, c b) (c r) (Defined at tcfail096.hs:24:0)
tcfail096.hs:23:0:
Functional dependencies conflict between instance declarations:
instance Foo (p -> s) (t p) (t s) -- Defined at tcfail096.hs:23:0
instance Foo ((a, b) -> r) (c a, c b) (c r) -- Defined at tcfail096.hs:24:0
tcfail099.hs:9:0:
Inferred type is less polymorphic than expected
Quantified type variable `a' is mentioned in the environment:
call :: DS -> a -> Int (bound at tcfail099.hs:9:0)
When checking an existential match that binds
f :: a -> Int
The pattern(s) have type(s): DS
a
The body has type: Int
In the definition of `call': call (C f) arg = f arg
tcfail099.hs:9:0:
Inferred type is less polymorphic than expected
Quantified type variable `a' escapes
When checking an existential match that binds
f :: a -> Int
The pattern(s) have type(s): DS
a
The body has type: Int
In the definition of `call': call (C f) arg = f arg
tcfail118.hs:10:5:
Overlapping instances for Eq Foo
arising from the 'deriving' clause of a data type declaration at tcfail118.hs:10:5
Matching instances:
instance Eq Foo (Defined at tcfail118.hs:11:5)
instance Eq Foo (Defined at tcfail118.hs:13:0)
When deriving the `Eq' instance for type `Bar'
tcfail118.hs:10:5:
Overlapping instances for Eq Foo
arising from the 'deriving' clause of a data type declaration at tcfail118.hs:10:5
Matching instances:
instance Eq Foo -- Defined at tcfail118.hs:11:5
instance Eq Foo -- Defined at tcfail118.hs:13:0
When deriving the `Eq' instance for type `Bar'
......@@ -3,8 +3,8 @@ tcfail121.hs:12:8:
Overlapping instances for Foo [a]
arising from use of `op' at tcfail121.hs:12:8-9
Matching instances:
instance [overlap ok] (Foo a) => Foo [a] (Defined at tcfail121.hs:8:0)
instance [overlap ok] Foo [Int] (Defined at tcfail121.hs:9:0)
instance [overlap ok] (Foo a) => Foo [a] -- Defined at tcfail121.hs:8:0
instance [overlap ok] Foo [Int] -- Defined at tcfail121.hs:9:0
(The choice depends on the instantiation of `a'
Use -fallow-incoherent-instances to use the first choice above)
In the definition of `foo': foo x = op x
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