Commit 74106f16 authored by Ian Lynagh's avatar Ian Lynagh
Browse files

Update outputs

parent 6eb9db81
data Foo = Foo -- Defined at ghci019.hs:8:5-7
instance Prelude.Eq Foo -- Defined at ghci019.hs:9:0-22
instance Prelude.Eq Foo -- Defined at ghci019.hs:9:9-22
mod44.hs:4:0:
mod44.hs:4:9:
Duplicate instance declarations:
instance Eq T -- Defined at mod44.hs:4:0-12
instance Eq T -- Defined at mod44.hs:5:0-12
instance Eq T -- Defined at mod44.hs:4:9-12
instance Eq T -- Defined at mod44.hs:5:9-12
......@@ -5,23 +5,23 @@ read014.hs:4:0:
read014.hs:4:4: Warning: Defined but not used: `x'
read014.hs:6:0:
read014.hs:6:9:
Warning: No explicit method nor default method for `+'
In the instance declaration for `Num (a, b)'
read014.hs:6:0:
read014.hs:6:9:
Warning: No explicit method nor default method for `*'
In the instance declaration for `Num (a, b)'
read014.hs:6:0:
read014.hs:6:9:
Warning: No explicit method nor default method for `abs'
In the instance declaration for `Num (a, b)'
read014.hs:6:0:
read014.hs:6:9:
Warning: No explicit method nor default method for `signum'
In the instance declaration for `Num (a, b)'
read014.hs:6:0:
read014.hs:6:9:
Warning: No explicit method nor default method for `fromInteger'
In the instance declaration for `Num (a, b)'
......
tc115.hs:12:0:
tc115.hs:12:9:
Warning: No explicit method nor default method for `foo'
In the instance declaration for `Foo [m a] (m a)'
tc116.hs:12:0:
tc116.hs:12:9:
Warning: No explicit method nor default method for `foo'
In the instance declaration for `Foo [m a] (m a)'
tc125.hs:16:0:
tc125.hs:16:9:
Warning: No explicit method nor default method for `add'
In the instance declaration for `Add Z a a'
tc125.hs:17:0:
tc125.hs:17:9:
Warning: No explicit method nor default method for `add'
In the instance declaration for `Add (S a) b (S c)'
tc125.hs:21:0:
tc125.hs:21:9:
Warning: No explicit method nor default method for `mul'
In the instance declaration for `Mul Z a Z'
tc125.hs:22:0:
tc125.hs:22:9:
Warning: No explicit method nor default method for `mul'
In the instance declaration for `Mul (S a) b d'
tc125.hs:29:0:
tc125.hs:29:9:
Warning: No explicit method nor default method for `add'
In the instance declaration for `Add (Q a b) (Q c d) (Q ad_bc bd)'
tc126.hs:15:0:
tc126.hs:15:24:
Warning: No explicit method nor default method for `bug'
In the instance declaration for `Bug (Int -> r) Int r'
tc126.hs:16:0:
tc126.hs:16:9:
Warning: No explicit method nor default method for `bug'
In the instance declaration for `Bug f (c a) (c r)'
tc161.hs:17:0:
tc161.hs:17:9:
Warning: No explicit method nor default method for `op'
In the instance declaration for `Foo Int'
tcfail023.hs:10:0:
tcfail023.hs:10:9:
Duplicate instance declarations:
instance A B -- Defined at tcfail023.hs:(10,0)-(11,11)
instance A B -- Defined at tcfail023.hs:(13,0)-(14,11)
instance A B -- Defined at tcfail023.hs:10:9-11
instance A B -- Defined at tcfail023.hs:13:9-11
tcfail035.hs:6:0:
tcfail035.hs:6:9:
Duplicate instance declarations:
instance Num NUM -- Defined at tcfail035.hs:6:0-15
instance Num NUM -- Defined at tcfail035.hs:7:0-15
instance Num NUM -- Defined at tcfail035.hs:6:9-15
instance Num NUM -- Defined at tcfail035.hs:7:9-15
tcfail036.hs:6:0:
tcfail036.hs:6:9:
Duplicate instance declarations:
instance Num NUM -- Defined at tcfail036.hs:(6,0)-(7,22)
instance Num NUM -- Defined at tcfail036.hs:8:0-15
instance Num NUM -- Defined at tcfail036.hs:6:9-15
instance Num NUM -- Defined at tcfail036.hs:8:9-15
tcfail036.hs:9:12:
Class `Num' used as a type
......
tcfail073.hs:8:0:
tcfail073.hs:8:9:
Duplicate instance declarations:
instance (Eq a) => Eq (a, b) -- Defined at tcfail073.hs:(8,0)-(9,26)
instance (Eq a) => Eq (a, b) -- Defined at tcfail073.hs:8:9-24
instance (Eq a, Eq b) => Eq (a, b) -- Defined in Data.Tuple
tcfail096.hs:23:0:
tcfail096.hs:23:9:
Functional dependencies conflict between instance declarations:
instance Foo (p -> s) (t p) (t s)
-- Defined at tcfail096.hs:23:0-37
-- Defined at tcfail096.hs:23:9-37
instance Foo ((a, b) -> r) (c a, c b) (c r)
-- Defined at tcfail096.hs:24:0-37
-- Defined at tcfail096.hs:24:9-37
......@@ -4,8 +4,8 @@ tcfail121.hs:13:8:
arising from a use of `op' at tcfail121.hs:13:8-11
Matching instances:
instance [overlap ok] (Foo a) => Foo [a]
-- Defined at tcfail121.hs:9:0-24
instance [overlap ok] Foo [Int] -- Defined at tcfail121.hs:10:0-17
-- Defined at tcfail121.hs:9:9-24
instance [overlap ok] Foo [Int] -- Defined at tcfail121.hs:10:9-17
(The choice depends on the instantiation of `a'
To pick the first instance above, use -XIncoherentInstances
when compiling the other instance declarations)
......
......@@ -3,7 +3,7 @@ tcfail143.hs:28:0:
Couldn't match expected type `Z' against inferred type `S Z'
When using functional dependencies to combine
MinMax a Z Z a,
arising from the instance declaration at tcfail143.hs:11:0
arising from the instance declaration at tcfail143.hs:11:9
MinMax (S Z) Z Z Z,
arising from a use of `extend' at tcfail143.hs:28:5-18
When generalising the type(s) for `t2'
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