Commit e1d30e6c authored by simonpj's avatar simonpj
Browse files

[project @ 2002-01-03 12:34:04 by simonpj]

update output
parent f32268ff
tcfail046.hs:9:
No instance for `Eq (Process a)'
When deriving the `Eq' instance for type `Continuation'
tcfail046.hs:17:
No instance for `Eq (Process a)'
When deriving classes for `Message'
When deriving the `Eq' instance for type `Message'
......@@ -2,4 +2,4 @@
tcfail086.hs:6:
Can't make a derived instance of `Eq Ex'
(it has existentially-quantified constructor(s))
When deriving classes for `Ex'
When deriving instances for type `Ex'
......@@ -2,10 +2,10 @@
tcfail103.hs:14:
Inferred type is less polymorphic than expected
Quantified type variable `t' escapes
It unifies with `s', which is mentioned in the environment:
Type variable `s'
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 s 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