Ping! At 2002-05-14 07:17, Simon Peyton-Jones wrote:
>Ashley writes > >| > I was hoping to do something similar for 'do' notation by redefining >| > (>>), (>>=) etc., but unfortunately GHC is quite insistent >| that 'do' notation quite specifically refers to GHC.Base.Monad > >Dylan replies > >| I'm surprised that ghc uses the fromInteger and fromRational >| that are in scope; I thought there was general agreement that >| it should use the Prelude.from{Integer,Rational} in scope. > >Ashley is referring to a GHC extension. Normally, GHC uses >Prelude.fromInteger etc, regardless of what is in scope. But if you >say -fno-implicit-prelude, GHC will instead use whatver fromInteger >is in scope. (This is documented in the manual.) > >Ashley's question, as I understand is whether something similar >could be done for monads. > >Answer: I think so, without much bother. I'm beavering away on >a Haskell workshop paper at the moment, but ping me in a fortnight >to do it. > >Simon >_______________________________________________ >Glasgow-haskell-users mailing list >[EMAIL PROTECTED] >http://www.haskell.org/mailman/listinfo/glasgow-haskell-users > _______________________________________________ Glasgow-haskell-users mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users