[GHC] #11062: Type families + hs-boot files = panic

[GHC]

#11062: Type families + hs-boot files = panic
-------------------------------------+-------------------------------------
        Reporter:  goldfire          |                Owner:
            Type:  bug               |               Status:  new
        Priority:  high              |            Milestone:  8.2.1
       Component:  Compiler          |              Version:  7.11
      Resolution:                    |             Keywords:  TypeFamilies
                                     |  hs-boot
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by ezyang):

 OK, it's actually pretty obvious what's going on here: family instance
 consistency gets checked in the renamer but this is too early, because we
 haven't put enough things in the type environment. The solution is to move
 the check later in the typechecking process.

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