#2798: Enable "rec" keyword when RecursiveDo is enabled?
------------------------------+---------------------------------------------
Reporter: nominolo | Owner:
Type: task | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.11
Severity: minor | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Architecture: Unknown/Multiple
Os: Unknown/Multiple |
------------------------------+---------------------------------------------
Changes (by simonpj):
* difficulty: => Unknown
Comment:
I think the reason for 'mdo' was by analogy with 'let' and 'where': just
say "use recursion" and let the compiler sort out the details. I have
forgotten whether the same choice could be made for arrows, or whether
'rec' is essential there.
I don't feel strongly about this. I suppose we could do any of these:
* Remove 'rec' altogether (including from arrows i.e. 'proc')
* Remove 'mdo' and use 'do rec' instead
* Allow 'rec' in 'do' as well as in 'proc'
* Status quo ('rec' in 'proc' but not in 'do')
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2798#comment:2>
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