#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):
Drat, I'd forgotten that the renamer does one step and the typechecker the
next. That is annoying; I can't see a neat way to do this. Oh well, it's
not a big deal. What you have done seems fine. Please document (in the
data type declaration) the fact that the 'guard' field is used only for
monad comprehensions, and is otherwise bottom.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4370#comment:19>
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
