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

[GHC]

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

  * milestone:  => 6.10 branch

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