Commit 12054ae1 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Update test outpuot

parent d72b2c6f
......@@ -144,3 +144,5 @@ test('tcfail156', normal, compile_fail, [''])
test('tcfail157', normal, compile_fail, [''])
test('tcfail158', normal, compile_fail, [''])
test('tcfail159', normal, compile_fail, [''])
test('tcfail160', normal, compile_fail, [''])
test('tcfail161', normal, compile_fail, [''])
tcfail014.hs:5:30:
Occurs check: cannot construct the infinite type: t = t -> bx
Occurs check: cannot construct the infinite type: t = t -> t1
Probable cause: `z' is applied to too many arguments
In the call (z z)
In the expression: z z
tcfail037.hs:7:10:
Ambiguous occurrence `+'
It could refer to either `ShouldFail.+', defined at tcfail037.hs:10:4
or `GHC.Num.+', imported from Prelude at Implicit import declaration
It could refer to either `+', defined at tcfail037.hs:10:4
or `+', imported from Prelude
tcfail040.hs:19:13:
Ambiguous type variable `t' in the constraint:
`ORD t' arising from use of `<<' at tcfail040.hs:19:13-16
Ambiguous type variable `a' in the constraint:
`ORD a' arising from use of `<<' at tcfail040.hs:19:13-16
Probable fix: add a type signature that fixes these type variable(s)
tcfail043.hs:38:16:
Ambiguous type variable `t' in the constraint:
`Ord_ t' arising from use of `gt' at tcfail043.hs:38:16-27
Ambiguous type variable `a' in the constraint:
`Ord_ a' arising from use of `gt' at tcfail043.hs:38:16-27
Possible cause: the monomorphism restriction applied to the following:
search :: t -> [t] -> Bool (bound at tcfail043.hs:37:0)
search :: a -> [a] -> Bool (bound at tcfail043.hs:37:0)
Probable fix: give these definition(s) an explicit type signature
or use -fno-monomorphism-restriction
tcfail046.hs:9:6:
No instance for (Eq (Process a))
arising from the 'deriving' clause of a data type declaration at tcfail046.hs:9:6
arising from the 'deriving' clause of a data type declaration
at tcfail046.hs:9:6
Possible fix: add an instance declaration for (Eq (Process a))
When deriving the `Eq' instance for type `Continuation'
When deriving the instance for `Eq (Continuation a)'
tcfail046.hs:17:5:
No instance for (Eq (Process a))
arising from the 'deriving' clause of a data type declaration at tcfail046.hs:17:5
arising from the 'deriving' clause of a data type declaration
at tcfail046.hs:17:5
Possible fix: add an instance declaration for (Eq (Process a))
When deriving the `Eq' instance for type `Message'
When deriving the instance for `Eq (Message a)'
tcfail072.hs:23:12:
Ambiguous type variable `t' in the constraint:
`Ord t' arising from use of `g' at tcfail072.hs:23:12-14
Ambiguous type variable `p' in the constraint:
`Ord p' arising from use of `g' at tcfail072.hs:23:12-14
Probable fix: add a type signature that fixes these type variable(s)
tcfail072.hs:23:12:
Ambiguous type variable `t1' in the constraint:
`Ord t1' arising from use of `g' at tcfail072.hs:23:12-14
Ambiguous type variable `q' in the constraint:
`Ord q' arising from use of `g' at tcfail072.hs:23:12-14
Probable fix: add a type signature that fixes these type variable(s)
......@@ -2,4 +2,4 @@
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 b) => Eq (a, b) -- Defined in Data.Tuple
tcfail086.hs:6:5:
Can't make a derived instance of `Eq Ex'
(`Ex' has non-Haskell-98 constructor(s))
When deriving instances for type `Ex'
(`Ex' has non-Haskell-98 constructor(s))
When deriving instances for `Ex'
tcfail104.hs:9:7:
Inferred type is less polymorphic than expected
Quantified type variable `a' escapes
Expected type: forall a1. a1 -> a1
Inferred type: a -> a
When checking the pattern: x :: forall a. a -> a
In a lambda abstraction: \ (x :: forall a. a -> a) -> x
tcfail104.hs:11:6:
Cannot match a monotype with `forall a. a -> a'
In a lambda abstraction: \ x -> x
In the call ((if v then
(\ (x :: forall a. a -> a) -> x)
else
(\ x -> x)) id 'c')
In the expression:
(if v then (\ (x :: forall a. a -> a) -> x) else (\ x -> x)) id 'c'
tcfail104.hs:15:7:
Inferred type is less polymorphic than expected
Quantified type variable `a' escapes
Expected type: forall a1. a1 -> a1
Inferred type: a -> a
When checking the pattern: x :: forall a. a -> a
In a lambda abstraction: \ (x :: forall a. a -> a) -> x
tcfail104.hs:17:6:
Cannot match a monotype with `forall a. a -> a'
In a lambda abstraction: \ x -> x
In the call ((if v then
(\ (x :: forall a. a -> a) -> x)
else
(\ x -> x)) id 'c')
In the expression:
(if v then (\ (x :: forall a. a -> a) -> x) else (\ x -> x)) id 'c'
-- Tests kind error messages
-- GHC 6.6 stops on the first kind error it encounters,
-- so we only get one error report here. I'll leave
-- the other tests in here, though, in case matters improve
-- again
module ShouldFail where
data T k = T (k Int)
......
tcfail113.hs:7:6:
`Maybe' is not applied to enough type arguments
Expected kind `*', but `Maybe' has kind `* -> *'
In the type `[Maybe]'
In the type signature: f :: [Maybe]
tcfail113.hs:10:7:
Kind mis-match
Expected kind `* -> *', but `Int' has kind `*'
In the type `T Int'
In the type signature: g :: T Int
tcfail113.hs:13:5:
Kind error: `Int' is applied to too many type arguments
In the type `Int Int'
In the type signature: h :: Int Int
tcfail113.hs:18:5:
Kind error: `Int' is applied to too many type arguments
In the type `Int Int'
In the type signature for `h':
h :: Int Int
-- Kind error message
module ShouldFail where
data T k = T (k Int)
g :: T Int
g x = x
tcfail160.hs:7:7:
Kind mis-match
Expected kind `* -> *', but `Int' has kind `*'
In the type `T Int'
In the type signature for `g':
g :: T Int
-- Kind error message
module ShouldFail where
f :: [Maybe]
f x = x
tcfail161.hs:5:6:
`Maybe' is not applied to enough type arguments
Expected kind `*', but `Maybe' has kind `* -> *'
In the type `[Maybe]'
In the type signature for `f':
f :: [Maybe]
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