[GHC] #1723: type unsafety with type family + GADT

[GHC]

#1723: type unsafety with type family + GADT
--------------------------------------------------+-------------------------
 Reporter:  zunino at di.unipi.it                    |          Owner:  chak       
     Type:  bug                                   |         Status:  closed     
 Priority:  normal                                |      Milestone:  6.10 branch
Component:  Compiler (Type checker)               |        Version:  6.8        
 Severity:  major                                 |     Resolution:  fixed      
 Keywords:                                        |     Difficulty:  Unknown    
 Testcase:  indexed-types/should_fail/GADTwrong1  |   Architecture:  Unknown    
       Os:  Unknown                               |  
--------------------------------------------------+-------------------------
Changes (by chak):

  * testcase:  => indexed-types/should_fail/GADTwrong1
  * status:  new => closed
  * resolution:  => fixed

Comment:

 Replacing GADT refinement by equality constraints fixed this as expected.

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