Commit 81f5128a authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

More updated output

parent 12054ae1
tcfail075.hs:11:0:
Top-level bindings for unlifted types aren't allowed: x = 1#
Top-level bindings for unlifted types aren't allowed: { x = 1# }
tcfail075.hs:14:4:
Couldn't match kind `*' against `#'
......
tcfail095.hs:9:0: Top-level bindings for unlifted types aren't allowed: x = 1#
tcfail095.hs:9:0:
Top-level bindings for unlifted types aren't allowed: { x = 1# }
tcfail117.hs:5:8:
Can't make a derived instance of `Enum N1' (`N1' has non-nullary constructors)
When deriving instances for type `N1'
Can't make a derived instance of `Enum N1'
(`N1' has non-nullary constructors)
When deriving instances for `N1'
tcfail117.hs:6:8:
Can't make a derived instance of `Enum N2' (`N2' has non-nullary constructors)
When deriving instances for type `N2'
Can't make a derived instance of `Enum N2'
(`N2' has non-nullary constructors)
When deriving instances for `N2'
tcfail118.hs:10:5:
Overlapping instances for Eq Foo
arising from the 'deriving' clause of a data type declaration at tcfail118.hs:10:5
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'
When deriving the instance for `Eq Bar'
tcfail122.hs:8:1:
Couldn't match kind `(* -> *) -> *' against `* -> *'
When matching the kinds of `c :: (* -> *) -> *' and `t :: * -> *'
Expected type: t t1
When matching the kinds of `c :: (* -> *) -> *' and `a :: * -> *'
Expected type: a b
Inferred type: forall (c1 :: (* -> *) -> *) (d :: * -> *). c1 d
In the expression:
undefined :: forall c :: ((* -> *) -> *) d :: (* -> *). c d
tcfail127.hs:3:0:
Illegal polymorphic or qualified type: (Num a) => a -> a
In the type signature: foo :: IO ((Num a) => a -> a)
All of the type variables in the constraint `Num a' are already in scope
(at least one must be universally quantified here)
In the type signature for `foo':
foo :: IO ((Num a) => a -> a)
tcfail128.hs:18:8:
No instance for (Data.Array.Base.MArray t FlatVector IO)
No instance for (Data.Array.Base.MArray b FlatVector IO)
arising from use of `thaw' at tcfail128.hs:18:8-15
Possible fix:
add an instance declaration for (Data.Array.Base.MArray t
FlatVector
IO)
add an instance declaration for
(Data.Array.Base.MArray b FlatVector IO)
In the call (thaw tmp)
In a 'do' expression: v <- thaw tmp
In the expression:
......
tcfail133.hs:67:13:
No instance for (AddDigit ((:@) Zero ((:@) One One)) One t)
No instance for (AddDigit ((:@) Zero ((:@) One One)) One a)
arising from use of `add' at tcfail133.hs:67:13-38
Possible fix:
add an instance declaration for (AddDigit ((:@) Zero
((:@) One One))
One
t)
add an instance declaration for
(AddDigit ((:@) Zero ((:@) One One)) One a)
In the call (add (One :@ Zero) (One :@ One))
In the second argument of `($)', namely
`add (One :@ Zero) (One :@ One)'
......
tcfail142.hs:21:11:
Ambiguous type variables `t', `a' in the constraint:
`Bar a t' arising from use of `bar' at tcfail142.hs:21:11-13
Ambiguous type variables `a', `r' in the constraint:
`Bar a r' arising from use of `bar' at tcfail142.hs:21:11-13
Probable fix: add a type signature that fixes these type variable(s)
tcfail144.hs:8:2:
tcfail144.hs:9:2:
Couldn't match expected type `{Ord a}'
against inferred type `{Eq a1}'
When matching the contexts of the signatures for
......
tcfail153.hs:6:6:
Couldn't match the rigid variable `a' against `Bool'
`a' is bound by the type signature for `f'
Expected type: [a]
Inferred type: [Bool]
In the application `g x'
In the definition of `f':
f x = g x
where
g y = if y then [] else [y]
tcfail153.hs:6:8:
Couldn't match expected type `Bool'
against inferred type `a' (a rigid variable)
`a' is bound by the type signature for `f' at tcfail153.hs:5:5
Expected type: Bool
Inferred type: a
In the first argument of `g', namely `x'
In the call (g x)
tcfail159.hs:9:3:
Couldn't match kind `(#)' against `*'
When matching the kinds of `(# Int, Int #) :: (#)' and `bx :: *'
Expected type: bx
When matching the kinds of `(# Int, Int #) :: (#)' and `t :: *'
Expected type: t
Inferred type: (# Int, Int #)
In the pattern: ~(# p, q #)
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