Commit b350f244 authored by simonpj's avatar simonpj

[project @ 2003-10-29 12:09:06 by simonpj]

update expected output
parent b006d8db
tcfail073.hs:7:
tcfail073.hs:8:
Duplicate instance declarations:
tcfail073.hs:7: Eq (a, b)
In module Data.Tuple: Eq (a, b)
tcfail073.hs:8: instance (Eq a) => Eq (a, b)
Imported from `Data.Tuple': instance (Eq a, Eq b) => Eq (a, b)
/home/simonpj/builds/HEAD/ghc/compiler/ghc-inplace: /home/simonpj/builds/HEAD/ghc/compiler/stage1/ghc-6.3: Permission denied
/home/simonpj/builds/HEAD/ghc/compiler/ghc-inplace: exec: /home/simonpj/builds/HEAD/ghc/compiler/stage1/ghc-6.3: cannot execute: Permission denied
tcfail103.hs:14:
Inferred type is less polymorphic than expected
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
In 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