Bug? [was: Implicit params]

Simon Peyton-Jones simonpj@microsoft.com
Fri, 15 Nov 2002 17:23:32 -0000

| > this seems like a bug in GHC.   Hugs is happy with it.  The "s" in
| > pure2 signature is not ambiguous because it is determined when you
| > the value of the implicit parameter.  in fact the way i think about
| > implicit parameters is simply as a nice notation for computations in
| > environment monad, so in my mind the above two definitions are
| > much the same.
| Thanks Iavor!
| GHC people, can you confirm this, Is it a bug? I'm using Ghc 5.0.4
SuSE rpms.
| Is there a workaround?

Interesting.  I hadn't thought of that.  Yes, I think you can consider
it a bug, or at least the lack of a feature.  I'll fix it next week