At 2002-12-02 00:37, Simon Peyton-Jones wrote:
>Main things in the next major release are
> mdo
> Template Haskell
Can mdo be done in TH? It would be nice if there were some kind of macro
system for this sort of thing; I know there's also a syntax for Arrows
that requires a preproce
| For the moment I've chosen to do the mdo desugaring manually instead
| of moving to the CVS ghc (or exclusively using Hugs.) Will mdo be in
| the next release? (That's 5.04.2, I think -- though I've recently
| been confused about GHC releases.) The relevant revision to Lex.lhs
| is pretty rec
> For the moment I've chosen to do the mdo desugaring manually instead
> of moving to the CVS ghc (or exclusively using Hugs.) Will mdo be in
> the next release? (That's 5.04.2, I think -- though I've recently
> been confused about GHC releases.) The relevant revision to Lex.lhs
> is pretty rece
Thank to all who replied. After giving up on continuations (which
make everything but forward branches seductively easy), I settled on
something with the following interface:
> class MonadGoto lbl gm | gm -> lbl where
> liftG :: Monad m => m () -> gm m ()
> label :: Monad m => g
