[GHC] #10045: type holes related ghc panic

[GHC]

#10045: type holes related ghc panic
-------------------------------------+-------------------------------------
        Reporter:  pacak             |                Owner:  thoughtpolice
            Type:  bug               |               Status:  closed
        Priority:  normal            |            Milestone:  8.0.1
       Component:  Compiler          |              Version:  7.10.1-rc2
      Resolution:  fixed             |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Compile-time      |  Unknown/Multiple
  crash                              |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D646
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by nomeata):

 Too bad this did not make it into 7.10.3. The bug happens when trying out
 the code that explains how to derive `unsafeCoerce` from GND+TypeFamilies
 if we had not roles.

 (This comment has little nutritional content.)

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