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

[GHC]

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

Comment (by simonpj):

 I can't say for sure (would need to reproduce), but I think that a
 coercion `(co1 -> co2)` is represented by a `TyConAppCo`, which in turn
 carries a role.  So it looks as if the role on that `TyConAppCo` with
 `(->)` in the type constructor position is plain wrong.

 Is this with your plugin, or is this plain GHC?  How can we reproduce?

 Simon

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