[GHC] #3297: Compiler panic on incorrect code (TcTyFuns.flattenType: synonym family in a rank-n type)

[GHC]

#3297: Compiler panic on incorrect code (TcTyFuns.flattenType: synonym family in a
rank-n type)
-------------------------------------+--------------------------------------
 Reporter:  hesselink                |          Owner:  chak
     Type:  bug                      |         Status:  new 
 Priority:  normal                   |      Milestone:      
Component:  Compiler (Type checker)  |        Version:  6.11
 Severity:  normal                   |     Resolution:      
 Keywords:                           |       Testcase:      
       Os:  Linux                    |   Architecture:  x86 
-------------------------------------+--------------------------------------
Changes (by chak):

  * owner:  => chak

Comment:

 The use of a synonym family in a rank-n type is something GHC cannot
 handle currently.  In fact, I am not at all sure how the current approach
 to type checking with synonym families can be generalised to combine with
 arbitrary rank-n types (i.e., this is a conceptual, not just an
 implementation problem).  The compiler panic indicates that situation; the
 error message should be more user-friendly, though.

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