#4148: improve new recursive do syntax
---------------------------------+------------------------------------------
    Reporter:  guest             |       Owner:                  
        Type:  feature request   |      Status:  new             
    Priority:  low               |   Milestone:  7.6.1           
   Component:  Compiler          |     Version:  6.12.3          
    Keywords:                    |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown    
  Difficulty:                    |    Testcase:                  
   Blockedby:                    |    Blocking:                  
     Related:                    |  
---------------------------------+------------------------------------------

Comment(by ryani):

 I would suggest never doing dependency analysis with rec (I was actually
 unaware that this happened and thought that was the whole point of
 migrating to 'rec' over 'mdo').

 I second the suggestion that we translate

     {{{ do { ... ; rec { ...; e } } }}}

 (i.e. 'rec' as the last statement in a do block) into

     {{{ do { ... ; rec { ...; fresh <- e} ; return fresh } }}}

 And translate

     {{{ do rec { ... } }}}

 into

     {{{ do { rec { ... } } }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4148#comment:10>
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

Reply via email to