[GHC] #7536: Panic with TypeFamilies with type synonym instances (was: Panic with TypeFamilies and FlexibleInstances)

[GHC]

#7536: Panic with TypeFamilies with type synonym instances
-------------------------------+--------------------------------------------
Reporter:  snowleopard         |          Owner:                  
    Type:  bug                 |         Status:  new             
Priority:  normal              |      Component:  Compiler        
 Version:  7.6.1               |       Keywords:                  
      Os:  Unknown/Multiple    |   Architecture:  Unknown/Multiple
 Failure:  Compile-time crash  |      Blockedby:                  
Blocking:                      |        Related:                  
-------------------------------+--------------------------------------------

Comment(by rotsor):

 I've been able to also reproduce it without type classes:

 {{{
 {-# LANGUAGE TypeFamilies #-}

 module M where

 type T v = Int

 type family TF a :: *
 type instance TF (T a) = a

 panic :: TF Int
 panic = undefined
 }}}

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