#4370: Bring back monad comprehensions
---------------------------------+------------------------------------------
Reporter: simonpj | Owner: nsch
Type: feature request | Status: new
Priority: normal | Milestone: 7.2.1
Component: Compiler | Version: 6.12.3
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Comment(by simonpj):
I didn't highlight enough above, but my suggestion is to add a new `Stmt`
constructor, namely `ReturnStmt` to use as the last `Stmt` of a block.
Rather than using `ExprStmt` which, as you say, isn't really right. Oh,
if you prefer to call it `BodyStmt` that's fine too.
Re second point, yes, the whole idea would be to remove the `body`
argument from `tcExpr` and instead have it deal only with a `[Stmt]`.
Make sense?
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4370#comment:26>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
