[GHC] #1123: Impredicativity bug: forall not hoisted properly

GHC trac at galois.com
Mon Nov 12 11:25:20 EST 2007


#1123: Impredicativity bug: forall not hoisted properly
--------------------------------------------------+-------------------------
 Reporter:  Ashley Yakeley <ashley at semantic.org>  |          Owner:  simonpj    
     Type:  bug                                   |         Status:  new        
 Priority:  normal                                |      Milestone:  6.10 branch
Component:  Compiler                              |        Version:  6.6        
 Severity:  normal                                |     Resolution:             
 Keywords:                                        |     Difficulty:  Unknown    
 Testcase:                                        |   Architecture:  Unknown    
       Os:  Unknown                               |  
--------------------------------------------------+-------------------------
Changes (by simonpj):

  * milestone:  6.8 branch => 6.10 branch

Comment:

 Bumping to 6.10, by which time I hope we will have a better story for
 impredicativity.

 Simon

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


More information about the Glasgow-haskell-bugs mailing list