Commit aa9aca4b authored by simonpj's avatar simonpj
Browse files

[project @ 2002-10-11 15:42:32 by simonpj]

Update expected output
parent fcc63817
tcfail027.hs:4:
tcfail027.hs:7:
Cycle in class declarations:
`A' at tcfail027.hs:4
`B' at tcfail027.hs:7
`A' at tcfail027.hs:4
tcfail038.hs:9:
tcfail038.hs:7:
Conflicting definitions for `=='
In the bindings in an instance declaration
tcfail038.hs:10:
tcfail038.hs:8:
Conflicting definitions for `/='
In the bindings in an instance declaration
......@@ -28,10 +28,10 @@ tcfail068.hs:23:
Inferred type is less polymorphic than expected
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)
itrap' :: Int -> Int -> ST s (IndTree s a)
(bound at tcfail068.hs:25)
arr :: IndTree s a (bound at tcfail068.hs:23)
In the first argument of `runST', namely `(itrap' i k)'
In a right-hand side of function `itrap': runST (itrap' i k)
......@@ -54,10 +54,10 @@ tcfail068.hs:35:
Inferred type is less polymorphic than expected
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)
itrapstate' :: Int -> Int -> c -> ST s (c, IndTree s b)
(bound at tcfail068.hs:37)
arr :: IndTree s b (bound at tcfail068.hs:35)
In the first argument of `runST', namely `(itrapstate' i k s)'
In a right-hand side of function `itrapstate':
......
tcfail071.hs:8:
tcfail071.hs:5:
Mismatched contexts
When matching the contexts of the signatures for
g :: forall e. e -> e
f :: forall d. (Ord d) => d -> d
g :: forall e. e -> e
The signature contexts in a mutually recursive group should all be identical
When generalising the type(s) for g, f
When generalising the type(s) for f, g
tcfail071.hs:10:
Cannot unify the type-signature variable `e'
......
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