Commit 8ba7f42d authored by simonpj's avatar simonpj
Browse files

[project @ 2001-11-30 09:26:27 by simonpj]

Update expected output
parent 09928e1d
./tcfail006.hs:5:
tcfail006.hs:4:
No instance for (Num Bool)
arising from the literal `1' at ./tcfail006.hs:5
In a case alternative: (1, True)
arising from the literal `1' at tcfail006.hs:4
In a case alternative: (True, 1)
tests/ghc-regress/typecheck/should_fail/tcfail009.hs:3:
Couldn't match `Integer' against `Int'
Expected type: Integer
Inferred type: Int
tcfail009.hs:3:
Couldn't match `Int' against `Integer'
Expected type: Int
Inferred type: Integer
In an expression with a type signature: 2 :: Integer
In an arithmetic sequence: [(1 :: Int) .. (2 :: Integer)]
......@@ -6,7 +6,6 @@ tcfail032.hs:14:
x :: a -> Int (bound at tcfail032.hs:14)
Signature type: forall a. (Eq a) => a -> Int
Type to generalise: a -> Int
When checking an expression type signature
In an expression with a type signature:
x :: forall a. (Eq a) => a -> Int
In the definition of `f': (x :: forall a. (Eq a) => a -> Int)
tests/ghc-regress/typecheck/should_fail/tcfail055.hs:3:
Couldn't match `Int' against `Float'
Expected type: Int
Inferred type: Float
tcfail055.hs:3:
Couldn't match `Float' against `Int'
Expected type: Float
Inferred type: Int
In an expression with a type signature: x + 1 :: Int
In an expression with a type signature: (x + 1 :: Int) :: Float
......@@ -8,5 +8,4 @@ tcfail065.hs:28:
Signature type: forall x. x -> X x1 -> X x1
Type to generalise: x1 -> X x1 -> X x1
When checking the type signature for `setX'
When generalising the type(s) for setX
In the definition for method `setX'
When generalising the type(s) for `setX'
......@@ -6,7 +6,6 @@ tcfail068.hs:12:
which is free in the signature
Signature type: forall s. ST s a
Type to generalise: ST s1 (IndTree s1 a1)
When checking an expression type signature
In the first argument of `runST', namely
`(newSTArray ((1, 1), n) x)'
In the definition of `itgen': runST (newSTArray ((1, 1), n) x)
......@@ -18,7 +17,6 @@ tcfail068.hs:17:
arr :: IndTree s1 a (bound at tcfail068.hs:17)
Signature type: forall s. ST s a1
Type to generalise: ST s1 (IndTree s1 a)
When checking an expression type signature
In the first argument of `runST', namely
`((readSTArray arr i)
>>= (\ val -> (writeSTArray arr i (f val)) >> (return arr)))'
......@@ -37,7 +35,6 @@ tcfail068.hs:23:
arr :: IndTree s1 a (bound at tcfail068.hs:23)
Signature type: forall s. ST s a1
Type to generalise: ST s1 (IndTree s1 a)
When checking an expression type signature
In the first argument of `runST', namely `(itrap' i k)'
In the definition of `itrap': runST (itrap' i k)
......@@ -52,6 +49,5 @@ tcfail068.hs:35:
arr :: IndTree s1 b (bound at tcfail068.hs:35)
Signature type: forall s. ST s a
Type to generalise: ST s1 (c, IndTree s1 b)
When checking an expression type signature
In the first argument of `runST', namely `(itrapstate' i k s)'
In the definition of `itrapstate': runST (itrapstate' i k s)
......@@ -2,9 +2,9 @@
module ShouldFail where
f :: (Ord c) => c -> c
f :: (Ord d) => d -> d
f c = g c
g :: c -> c
g :: e -> e
g c = c
where p = foldr (f c) [] []
......@@ -2,15 +2,16 @@
tcfail071.hs:8:
Mismatched contexts
When matching the contexts of the signatures for
g :: forall c. c -> c
f :: forall c. (Ord c) => c -> c
g :: forall e. e -> e
f :: forall d. (Ord d) => d -> d
The signature contexts in a mutually recursive group should all be identical
When generalising the type(s) for g, f
tcfail071.hs:10:
Cannot unify the type-signature variable `c'
Cannot unify the type-signature variable `e'
with the type `a -> b -> b'
Expected type: a -> b -> b
Inferred type: c
In the first argument of `f', namely `c'
Inferred type: e
Probable cause: `f' is applied to too many arguments in the call
(f c)
In the first argument of `foldr', namely `(f c)'
......@@ -6,6 +6,5 @@ tcfail076.hs:18:
cont :: a -> m res1 (bound at tcfail076.hs:18)
Signature type: forall res. (a1 -> m1 res) -> m1 res
Type to generalise: (b -> m res1) -> m res1
When checking an expression type signature
In the first argument of `KContT', namely `(\ cont' -> cont a)'
In a lambda abstraction: KContT (\ cont' -> cont a)
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