Commit f9073a7e authored by dreixel's avatar dreixel

Update outputs (error message locations)

parent d8744493
rnfail026.hs:16:17:
Kind mis-match
The first argument of `Monad' should have kind `* -> *',
but `Set a' has kind `*'
In the instance declaration for `Monad (forall a. Eq a => Set a)'
rnfail026.hs:19:10:
Illegal polymorphic or qualified type: forall a. [a]
In the instance declaration for `Eq (forall a. [a])'
rnfail026.hs:16:35:
Kind mis-match
The first argument of `Monad' should have kind `* -> *',
but `Set a' has kind `*'
In the instance declaration for `Monad (forall a. Eq a => Set a)'
rnfail026.hs:19:10:
Illegal polymorphic or qualified type: forall a. [a]
In the instance declaration for `Eq (forall a. [a])'
T3540.hs:4:11:
T3540.hs:4:12:
Predicate `a ~ Int' used as a type
Expected kind `??', but `a ~ Int' has kind `Constraint'
In the type signature for `thing': thing :: a ~ Int
......
tcfail110.hs:8:19:
tcfail110.hs:8:30:
`Foo a' is not applied to enough type arguments
Expected kind `??', but `Foo a' has kind `* -> *'
In the type signature for `bar':
......
tcfail162.hs:10:16:
tcfail162.hs:10:33:
`ForeignPtr' is not applied to enough type arguments
Expected kind `??', but `ForeignPtr' has kind `* -> *'
In the type `{-# UNPACK #-} !ForeignPtr'
......
tcfail212.hs:10:1:
Unexpected tuple component kind: * -> *
tcfail212.hs:10:7:
`Maybe' is not applied to enough type arguments
The first argument of a tuple should have kind `*',
but `Maybe' has kind `* -> *'
In the type signature for `f': f :: (Maybe, Either Int)
tcfail212.hs:13:1:
Unexpected tuple component kind: #
tcfail212.hs:13:7:
Expecting a lifted type, but `Int#' is unlifted
The first argument of a tuple should have kind `*',
but `Int#' has kind `#'
In the type signature for `g': g :: (Int#, Int#)
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