[GHC] #1722: Code using type synonym families requires workarounds to compile

[GHC]

#1722: Code using type synonym families requires workarounds to compile
------------------------------------------+---------------------------------
    Reporter:  tomasz.zielonka at gmail.com  |        Owner:  chak       
        Type:  bug                        |       Status:  new        
    Priority:  normal                     |    Milestone:  6.10 branch
   Component:  Compiler (Type checker)    |      Version:  6.8        
    Severity:  normal                     |   Resolution:             
    Keywords:                             |   Difficulty:  Unknown    
          Os:  Unknown                    |     Testcase:             
Architecture:  Unknown                    |  
------------------------------------------+---------------------------------
Changes (by chak):

  * milestone:  => 6.10 branch

Comment:

 Currently, the example programs fail in code that is related to the GADT
 refinement story, which we are planning to remove anyway soon.  I will re-
 evaluate the situation once GADT refinement in GHC is implemented by
 equality constraints.

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