#4370: Bring back monad comprehensions
------------------------------+---------------------------------------------
  Reporter:  simonpj          |          Owner:  nsch            
      Type:  feature request  |         Status:  closed          
  Priority:  normal           |      Milestone:  7.4.1           
 Component:  Compiler         |        Version:  6.12.3          
Resolution:  fixed            |       Keywords:                  
  Testcase:                   |      Blockedby:                  
Difficulty:                   |             Os:  Unknown/Multiple
  Blocking:                   |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown     |  
------------------------------+---------------------------------------------

Comment(by simonpj):

 I intended it.  It seems reasonable that
  * `-XMonadComprehensions` makes list comprehensions be interpreted as
 monad comprehensions
  * `-XTransformListComp` adds the SQL-like comprehension support, to
 either list or monad comprehensions
  * Ditto for `-XParallelListComp`

 Admittedly `TransformListComp` then is not necessarily about '''list'''
 comprehensions.  Maybe is should be `TransformComp`; and similarly for
 `ParallelComp`?

 That woudl be doable; we'd have to go through a cycle of deprecation to
 encourage people to adopt the new flag name.

 Does the logic make sense though?

 Simon

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

Reply via email to