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

GHC trac at galois.com
Tue Jul 31 09:54:26 EDT 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.8    
   Component:  Compiler                              |      Version:  6.6    
    Severity:  normal                                |   Resolution:         
    Keywords:                                        |   Difficulty:  Unknown
          Os:  Unknown                               |     Testcase:         
Architecture:  Unknown                               |  
-----------------------------------------------------+----------------------
Changes (by simonpj):

  * summary:  forall not hoisted properly => Impredicativity bug: forall
              not hoisted properly

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


More information about the Glasgow-haskell-bugs mailing list