Commit 52a994cb authored by simonmar's avatar simonmar
Browse files

[project @ 2002-03-18 15:12:54 by simonmar]

update expected output
parent 8f7c6fc0
......@@ -3,5 +3,5 @@ tcfail009.hs:3:
Couldn't match `Int' against `Integer'
Expected type: Int
Inferred type: Integer
In an expression with a type signature: 2 :: Integer
When checking the type signature of the expression: 2 :: Integer
In an arithmetic sequence: [(1 :: Int) .. (2 :: Integer)]
......@@ -3,5 +3,5 @@ tcfail013.hs:4:
Couldn't match `Bool' against `[a]'
Expected type: Bool
Inferred type: [a]
In the pattern: True
When checking the pattern: True
In the definition of `f': f True = 2
./tcfail017.hs:10:
tcfail017.hs:10:
Could not deduce (C [a]) from the context (B a)
Probable fix:
Add (C [a]) to the instance declaration context
Add (C [a]) to the instance declaration superclass context
Or add an instance declaration for (C [a])
arising from the instance declaration at ./tcfail017.hs:10
arising from the instance declaration at tcfail017.hs:10
In the instance declaration for `B [a]'
./tcfail019.hs:18:
tcfail019.hs:18:
Could not deduce (C [a], B [a]) from the context ()
Probable fix:
Add (C [a], B [a]) to the instance declaration context
Add (C [a], B [a]) to the instance declaration superclass context
Or add an instance declaration for (C [a], B [a])
arising from the instance declaration at ./tcfail019.hs:18
arising from the instance declaration at tcfail019.hs:18
In the instance declaration for `D [a]'
./tcfail020.hs:10:
tcfail020.hs:10:
Could not deduce (A [a]) from the context (A a)
Probable fix:
Add (A [a]) to the instance declaration context
Add (A [a]) to the instance declaration superclass context
Or add an instance declaration for (A [a])
arising from the instance declaration at ./tcfail020.hs:10
arising from the instance declaration at tcfail020.hs:10
In the instance declaration for `B [a]'
tcfail032.hs:14:
Inferred type is less polymorphic than expected
Quantified type variable `a' escapes
It is mentioned in the environment:
x :: a -> Int (bound at tcfail032.hs:14)
Signature type: forall a. (Eq a) => a -> Int
Type to generalise: a -> Int
In an expression with a type signature:
x :: forall a. (Eq a) => a -> Int
Quantified type variable `a' escapes
It is mentioned in the environment:
x :: a -> Int (bound at tcfail032.hs:14)
In the definition of `f': (x :: forall a. (Eq a) => a -> Int)
./tcfail042.hs:15:
tcfail042.hs:15:
Could not deduce (Num a) from the context (Eq a, Show a)
Probable fix:
Add (Num a) to the instance declaration context
arising from the instance declaration at ./tcfail042.hs:15
Add (Num a) to the instance declaration superclass context
arising from the instance declaration at tcfail042.hs:15
In the instance declaration for `Bar [a]'
tcfail046.hs:9:
No instance for `Eq (Process a)'
No instance for `Eq (Pid
-> Time -> Message a -> (MessList a, Continuation a))'
When deriving the `Eq' instance for type `Continuation'
tcfail046.hs:17:
No instance for `Eq (Process a)'
No instance for `Eq (Pid
-> Time -> Message a -> (MessList a, Continuation a))'
When deriving the `Eq' instance for type `Message'
......@@ -3,5 +3,5 @@ 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
When checking the type signature of the expression: x + 1 :: Int
In the definition of `f': (x + 1 :: Int) :: Float
tcfail065.hs:28:
Inferred type is less polymorphic than expected
Quantified type variable `x' escapes
It unifies with `x1', which is mentioned in the environment:
Type variable `x1'
is bound by the instance declaration at 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'
Quantified type variable `x1' is unified with another quantified type variable `x'
When trying to generalise the type inferred for `setX'
Signature type: forall x1 x2. x2 -> X x1 -> X x1
Type to generalise: forall x2. x2 -> X x1 -> X x1
In the instance declaration for `HasX (X x)'
......@@ -2,7 +2,8 @@
tcfail067.hs:60:
Could not deduce (Show (SubRange a)) from the context (Num a)
Probable fix:
Add (Show (SubRange a)) to the instance declaration context
Add (Show (SubRange a))
to the instance declaration superclass context
Or add an instance declaration for (Show (SubRange a))
arising from the instance declaration at tcfail067.hs:60
In the instance declaration for `Num (SubRange a)'
......@@ -14,10 +15,22 @@ tcfail067.hs:61:
Eq (SubRange a),
Show (SubRange a))
Probable fix:
Add (Ord a) to the instance declaration context
Add (Ord a) to the class or instance method `negate'
arising from use of `numSubRangeNegate' at tcfail067.hs:61
In the definition of `negate': numSubRangeNegate
tcfail067.hs:65:
Could not deduce (Ord a)
from the context (Num (SubRange a),
Num a,
Eq (SubRange a),
Show (SubRange a))
Probable fix:
Add (Ord a) to the class or instance method `fromInteger'
arising from use of `SubRange' at tcfail067.hs:65
In the definition of `fromInteger':
SubRange (fromInteger a, fromInteger a) (fromInteger a)
tcfail067.hs:74:
Could not deduce (Ord a) from the context (Num a)
Probable fix:
......
tcfail068.hs:12:
Inferred type is less polymorphic than expected
Quantified type variable `s' escapes
It is reachable from the type variable(s) `a'
which is free in the signature
Signature type: forall s. ST s a
Type to generalise: ST s1 (STArray s1 (Int, Int) a1)
Quantified type variable `s' escapes
In the first argument of `runST', namely
`(newSTArray ((1, 1), n) x)'
In the definition of `itgen': runST (newSTArray ((1, 1), n) x)
tcfail068.hs:17:
Inferred type is less polymorphic than expected
Quantified type variable `s' escapes
It unifies with `s1', which is mentioned in the environment:
arr :: IndTree s1 a (bound at tcfail068.hs:17)
Signature type: forall s. ST s a1
Type to generalise: ST s1 (IndTree s1 a)
Quantified type variable `s' escapes
It is mentioned in the environment:
arr :: IndTree s a (bound at tcfail068.hs:17)
In the first argument of `runST', namely
`((readSTArray arr i)
>>= (\ val -> (writeSTArray arr i (f val)) >> (return arr)))'
......@@ -26,28 +20,24 @@ tcfail068.hs:17:
tcfail068.hs:23:
Inferred type is less polymorphic than expected
Quantified type variable `s' escapes
It unifies with `s1', which is mentioned in the environment:
itrap' :: Int -> Int -> ST s1 (IndTree s1 a)
(bound at tcfail068.hs:25)
itrapsnd :: Int -> Int -> ST s1 (IndTree s1 a)
(bound at tcfail068.hs:28)
arr :: IndTree s1 a (bound at tcfail068.hs:23)
Signature type: forall s. ST s a1
Type to generalise: ST s1 (IndTree s1 a)
Quantified type variable `s' escapes
It is mentioned in the environment:
itrap' :: Int -> Int -> ST s (IndTree s a)
(bound at tcfail068.hs:25)
itrapsnd :: Int -> Int -> ST s (IndTree s a)
(bound at tcfail068.hs:28)
arr :: IndTree s a (bound at tcfail068.hs:23)
In the first argument of `runST', namely `(itrap' i k)'
In the definition of `itrap': runST (itrap' i k)
tcfail068.hs:35:
Inferred type is less polymorphic than expected
Quantified type variable `s' escapes
It unifies with `s1', which is mentioned in the environment:
itrapstate' :: Int -> Int -> c -> ST s1 (c, IndTree s1 b)
(bound at tcfail068.hs:37)
itrapstatesnd :: Int -> Int -> c -> ST s1 (c, IndTree s1 b)
(bound at tcfail068.hs:40)
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)
Quantified type variable `s' escapes
It is mentioned in the environment:
itrapstate' :: Int -> Int -> c -> ST s (c, IndTree s b)
(bound at tcfail068.hs:37)
itrapstatesnd :: Int -> Int -> c -> ST s (c, IndTree s b)
(bound at tcfail068.hs:40)
arr :: IndTree s b (bound at tcfail068.hs:35)
In the first argument of `runST', namely `(itrapstate' i k s)'
In the definition of `itrapstate': runST (itrapstate' i k s)
Duplicate instance declarations:
tcfail073.hs:7: Eq (a, b)
/home/v-julsew/503/s2/libraries/base/Data/Tuple.hi:100: Eq (a, b)
<No locn>: Eq (a, b)
tcfail076.hs:18:
Inferred type is less polymorphic than expected
Quantified type variable `res' escapes
It unifies with `res1', which is mentioned in the environment:
cont :: a -> m res1 (bound at tcfail076.hs:18)
Signature type: forall res. (a1 -> m1 res) -> m1 res
Type to generalise: (a1 -> m res1) -> m res1
Quantified type variable `res' escapes
It is mentioned in the environment:
cont :: a -> m res (bound at tcfail076.hs:18)
In the first argument of `KContT', namely `(\ cont' -> cont a)'
In a lambda abstraction: KContT (\ cont' -> cont a)
tests/ghc-regress/typecheck/should_fail/tcfail083.hs:8:
tcfail083.hs:8:
Constructor `Bar' does not have field `baz'
In the pattern: Bar {flag = f, baz = b}
In the pattern: State {bar = Bar {flag = f, baz = b}}
When checking the pattern: Bar {flag = f, baz = b}
When checking the pattern: State {bar = Bar {flag = f, baz = b}}
In the definition of `display':
display (State {bar = Bar {flag = f, baz = b}}) = print (f, b)
tests/ghc-regress/typecheck/should_fail/tcfail089.hs:10:
tcfail089.hs:10:
`++' is not a data constructor
In the pattern: "hd" ++ _
When checking the pattern: "hd" ++ _
In the definition of `compute': compute ("hd" ++ _) = "_"
......@@ -2,5 +2,7 @@
tcfail099.hs:9:
Inferred type is less polymorphic than expected
Quantified type variable `a' escapes
When checking a pattern that binds f :: a -> Int
When checking an existential match that binds
f :: a -> Int
and whose type is DS -> a -> Int
In the definition of `call': call (C f) arg = f arg
tcfail103.hs:14:
Inferred type is less polymorphic than expected
Quantified type variable `t' escapes
It is mentioned in the environment:
Type variable `s' = t
is bound by the pattern type signature at tcfail103.hs:6
Signature type: forall t. ST t Int
Type to generalise: ST t Int
Quantified type variable `t' escapes
It is mentioned in the environment:
s = t is bound by the pattern type signature at tcfail103.hs:6
When trying to generalise the type inferred for `f'
Signature type: forall t. ST t Int
Type to generalise: ST t Int
When checking the type signature for `f'
When generalising the type(s) for `f'
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