[GHC] #1537: do notation translation

[GHC]

#1537: do notation translation
--------------------------------------+-------------------------------------
 Reporter:  Isaac Dupree              |          Owner:  simonpj    
     Type:  merge                     |         Status:  reopened   
 Priority:  normal                    |      Milestone:  6.10 branch
Component:  Compiler (Type checker)   |        Version:  6.7        
 Severity:  normal                    |     Resolution:             
 Keywords:                            |     Difficulty:  Unknown    
 Testcase:  rebindable8, rebindable9  |   Architecture:  Unknown    
       Os:  Unknown                   |  
--------------------------------------+-------------------------------------
Comment (by mnislaih):

 I gather that you think the test rebindable 9 is not interesting.
 It may seem that the instances
 {{{
 instance Bind Identity m m where ...
 instance Bind m Identity m where ...
 }}}

 are artificial and don't show up in real code.
 But on the contrary, they are at the heart of the parameterized monads
 framework!
 These types show up all the time.

 On the other hand, testing the new rebindable code with Oleg's restricted
 monads is definitely interesting too.

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