[GHC] #11062: Type families + hs-boot files = panic (type family consistency check too early)

[GHC]

#11062: Type families + hs-boot files = panic (type family consistency check too
early)
-------------------------------------+-------------------------------------
        Reporter:  goldfire          |                Owner:
            Type:  bug               |               Status:  patch
        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):  Phab:D2859
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by Edward Z. Yang <ezyang@…>):

 In [changeset:"25b70a29f6236b591252bf5a361a1547f0ffee51/ghc"
 25b70a29/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="25b70a29f6236b591252bf5a361a1547f0ffee51"
 Check family instance consistency of hs-boot families later, fixes #11062.

 Summary:
 With hs-boot files, some type families may be defined in the
 module we are typechecking.  In this case, we are not allowed
 to poke these families until after we typecheck our local
 declarations.  So we first check everything involving non-recursive
 families, and then check the recursive families as we finish
 kind-checking them.

 Signed-off-by: Edward Z. Yang <ezyang at cs.stanford.edu>

 Test Plan: validate

 Reviewers: goldfire, austin, simonpj, bgamari

 Subscribers: thomie

 Differential Revision: https://phabricator.haskell.org/D2859

 GHC Trac Issues: #11062
 }}}

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