[GHC] #5744: List layouts

[GHC]

#5744: List layouts
---------------------------------+------------------------------------------
    Reporter:  nsch              |       Owner:  nsch            
        Type:  feature request   |      Status:  new             
    Priority:  normal            |   Milestone:                  
   Component:  Compiler          |     Version:  7.2.1           
    Keywords:                    |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown    
  Difficulty:  Unknown           |    Testcase:                  
   Blockedby:                    |    Blocking:                  
     Related:                    |  
---------------------------------+------------------------------------------
Changes (by simonpj):

 * cc: giorgidze@…, jeroen.weijers@… (added)
  * difficulty:  => Unknown


Comment:

 I'm afraid I don't understand this feature. Could you write a Wiki page
 that gives the specification?  A single example isn't enough to say
  * what the syntax is
  * when it typechecks
  * how it desugars

 Maybe I'm wrong, but it has the smell of being closely related to the work
 of George and friends on monad comprehensions; see
 [wiki:MonadComprehensions].  In paricular their as-yet-unimplemented
 proposal to overload list literals; Section 5.2 of their paper
 [[http://db.inf.uni-tuebingen.de/files/giorgidze/haskell2011.pdf "Bringing
 back monad comprehensions"]] at the 2011 Haskell Symposium. I'm adding
 George and Jeroen in cc.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5744#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler