[GHC] #5591: Type constructor variables not injective

[GHC]

#5591: Type constructor variables not injective
---------------------------------------------------------+------------------
  Reporter:  daniel.is.fischer                           |          Owner:  simonpj         
      Type:  bug                                         |         Status:  closed          
  Priority:  normal                                      |      Milestone:  7.6.2           
 Component:  Compiler (Type checker)                     |        Version:  7.2.1           
Resolution:  fixed                                       |       Keywords:                  
        Os:  Unknown/Multiple                            |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown                                |     Difficulty:  Unknown         
  Testcase:  indexed-ypes/should_compile/T5591a, T5591b  |      Blockedby:                  
  Blocking:                                              |        Related:                  
---------------------------------------------------------+------------------
Changes (by simonpj):

  * status:  new => closed
  * testcase:  => indexed-ypes/should_compile/T5591a, T5591b
  * resolution:  => fixed


Comment:

 Fixed at last; see #7205.  I added both examples as regression tests.

 Simon

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