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 error message is a little surprising since I don't think you
can create instance declarations for implicit parameter contexts.
It's amusing to try to imagine what an instance decl for implicit
parameters would mean. Would I be able to use fundeps? :-)
It might actually be useful though. I'm getting tired of
writing type signatures like this:
binding :: (?fenv::FlagsEnv, ?btenv::BTEnv, ?uenv::UnitEnv,
?benv::BEnv, ?benvty::BEnvTy, ?flatten::Maybe Bool)
=> A.Binding -> [C.Binding]
but, with this instance decl:
instance (?fenv::FlagsEnv, ?btenv::BTEnv, ?uenv::UnitEnv,
?benv::BEnv, ?benvty::BEnvTy, ?flatten::Maybe Bool)
=>
?tcenv:TcEnv
I could maybe get away this:
binding :: (?tcenv::TcEnv) => A.Binding -> [C.Binding]
Well, ok, so it won't quite work (what on earth is ?tcenv supposed to
be and what definition would we use for TcEnv) - but it almost
makes sense...
--
Alastair Reid [EMAIL PROTECTED] http://www.cs.utah.edu/~reid/
_______________________________________________
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
