[GHC] #1118: Type check loop on impredicativaty + GADT mix

[GHC]

#1118: Type check loop on impredicativaty + GADT mix
------------------------------------+---------------------------------------
 Reporter:  japple                  |          Owner:  simonpj
     Type:  bug                     |         Status:  new    
 Priority:  normal                  |      Milestone:  6.6.1  
Component:  Compiler                |        Version:  6.6    
 Severity:  normal                  |     Resolution:         
 Keywords:  impredicativity, GADTs  |     Difficulty:  Unknown
 Testcase:                          |   Architecture:  x86    
       Os:  Linux                   |  
------------------------------------+---------------------------------------
Changes (by igloo):

  * milestone:  => 6.6.1
  * owner:  => simonpj

Comment:

 Another one for you, Simon.

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