Re: [GHC] #9062: Role: ~# should be ~R#

11 Jun 2014

      #9062: Role: ~# should be ~R#
-------------------------------------------------+-------------------------
        Reporter:  conal                         |            Owner:
            Type:  bug                           |  goldfire
        Priority:  normal                        |           Status:  new
       Component:  Compiler                      |        Milestone:
      Resolution:                                |          Version:  7.8.2
Operating System:  MacOS X                       |         Keywords:
 Type of failure:  None/Unknown                  |     Architecture:
       Test Case:  roles/should_compile/Roles13  |  Unknown/Multiple
        Blocking:                                |       Difficulty:
                                                 |  Unknown
                                                 |       Blocked By:
                                                 |  Related Tickets:
-------------------------------------------------+-------------------------

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

 In [changeset:"e79e2c3996181a1179cf4a1357981f4ed9759203/ghc"]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="e79e2c3996181a1179cf4a1357981f4ed9759203"
 Fix #9062.

 Removed (pprEqPred (coercionKind co)) in favor of
 (pprType (coercionType co)).

 Also had to make "~R#" a *symbolic* identifier and BuiltInSyntax
 to squelch prefix notation and module prefixes in output. These
 changes are both sensible independent of #9062.
 }}}

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