Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Glasgow Haskell Compiler
GHC
Commits
52a994cb
Commit
52a994cb
authored
Mar 18, 2002
by
simonmar
Browse files
[project @ 2002-03-18 15:12:54 by simonmar]
update expected output
parent
8f7c6fc0
Changes
18
Hide whitespace changes
Inline
Side-by-side
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail009.stderr
View file @
52a994cb
...
...
@@ -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)]
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail013.stderr
View file @
52a994cb
...
...
@@ -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
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail017.stderr
View file @
52a994cb
./
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]'
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail019.stderr
View file @
52a994cb
./
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]'
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail020.stderr
View file @
52a994cb
./
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]'
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail032.stderr
View file @
52a994cb
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)
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail042.stderr
View file @
52a994cb
./
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]'
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail046.stderr
View file @
52a994cb
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'
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail055.stderr
View file @
52a994cb
...
...
@@ -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
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail065.stderr
View file @
52a994cb
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)'
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail067.stderr
View file @
52a994cb
...
...
@@ -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:
...
...
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail068.stderr
View file @
52a994cb
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)
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail073.stderr
View file @
52a994cb
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)
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail076.stderr
View file @
52a994cb
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)
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail083.stderr
View file @
52a994cb
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)
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail089.stderr
View file @
52a994cb
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" ++ _) = "_"
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail099.stderr
View file @
52a994cb
...
...
@@ -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
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail103.stderr
View file @
52a994cb
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'
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment