#4148: improve new recursive do syntax
---------------------------------+------------------------------------------
Reporter: guest | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.12.3
Keywords: | Difficulty:
Os: Unknown/Multiple | Testcase:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Comment(by simonpj):
Well, at the moment a `rec {...}` block can't be the last statement in a
`do`. But after talking to Simon I realise that we could change that, by
adopting the following translation:
{{{
do { ...; rec { ...; e } }
==>
do { ...; rec { ...; res <- e }; return res }
}}}
Now if the initial "..." was empty we could write
{{{
do rec {...}
}}}
as "guest" (Jack, perhaps) wants.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4148#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
