| The type checker seems a bit confused in this line:
|
| In the first argument of `fst', namely `env'
|
| since the argument of `fst' is `?env' in that version. Is
| this a different bug?
Yes it is, now fixed.
S
___
Glasgow-haskell-bugs
| Or add an instance declaration for `?env :: ([(String, b)], b1)'
|
|of the error message is a little surprising since I don't think you
|can create instance declarations for implicit parameter contexts.
Good point. I've improved the message
S
| | [This bug report may be related to SimonPJ's question about
| | implicit parameters and the monomorphism restriction - I'm
| not sure.]
OK, after fixing two serious problems and several other error-message
improvement one, I claim that all the implicit parameter bugs are fixed
in the
[This bug report may be related to SimonPJ's question about implicit
parameters and the monomorphism restriction - I'm not sure.]
The attached program contains two definitions of ident - a function
that uses implicit parameters.
The only difference between them is that the first (which works)
On Thu, Apr 26, 2001 at 01:54:23PM -0600, Alastair Reid wrote:
$ rm -f T.o ghc -c -fglasgow-exts T.hs -cpp -DOK=1
$ rm -f T.o ghc -c -fglasgow-exts T.hs -cpp -DOK=2
T.hs:20:
Could not deduce `?env :: ([(String, b)], b1)' from the context ()
Probable fix:
Add `?env ::
Two further details:
1) The previous bug report is for a copy of ghc 5.00 built from the
repository (on Debian Linux).
The newest file .lhs file (hence last update?) is dated April 20, 17:37
2) This part
Or add an instance declaration for `?env :: ([(String, b)], b1)'
of the