On Sat, Jan 26, 2008 at 07:59:00PM +0100, Twan van Laarhoven wrote:
> Ian Lynagh wrote:
> >I didn't apply these because they contained or caused conflicts:
> >
> >Added Applicative instance for UniqSM
> >Monadify rename/RnExpr: use do, return and standard monad functions
> >Monadify rename/RnSource
| There is still a problem with
|
|"All monads with a unique supply now use MonadUnique"
|
| Since it also changes the code generator. Perhaps it could be split up, but I
| have no idea how to do that.
To be honest, I don't think you should hold your breath on the codegen front.
John Dias is
Twan van Laarhoven wrote:
I some cases Applicative is a huge win. Simon's argument is that it is not
possible to use consistently everywhere. I agree that we should strive
to have a
single style for different cases in a single function. However, there
are a lot
of functions that become signific
