[GHC] #8485: Type roles in GHCi

[GHC]

#8485: Type roles in GHCi
-------------------------------------+------------------------------------
        Reporter:  monoidal          |            Owner:  goldfire
            Type:  bug               |           Status:  new
        Priority:  normal            |        Milestone:
       Component:  Compiler          |          Version:  7.7
      Resolution:                    |         Keywords:
Operating System:  Unknown/Multiple  |     Architecture:  Unknown/Multiple
 Type of failure:  None/Unknown      |       Difficulty:  Unknown
       Test Case:                    |       Blocked By:
        Blocking:                    |  Related Tickets:
-------------------------------------+------------------------------------

Comment (by Richard Eisenberg <eir@…>):

 In [changeset:"9366e0191cab2de94f8a8a52decd759d1bf147b7/ghc"]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="9366e0191cab2de94f8a8a52decd759d1bf147b7"
 Fix Trac #8485.

 The problem was that the renamer treated role annotations by looking
 up the annotated type in the module being compiled. If this check
 succeeded, it was assumed that the annotated type was being compiled
 at the same time. But this assumption is false! In GHCi (and Template
 Haskell), sometimes compilation within one module can be staged. So,
 now there is a more intricate check for orphan role annotations. This
 also has the benefit of producing better error messages.
 }}}

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