[GHC] #8718: Add role annotations to base

GHC ghc-devs at haskell.org
Thu Jan 30 15:13:13 UTC 2014


#8718: Add role annotations to base
-------------------------------------------+-------------------------------
       Reporter:  nomeata                  |             Owner:
           Type:  task                     |            Status:  new
       Priority:  high                     |         Milestone:  7.8.1
      Component:  libraries/base           |           Version:  7.6.3
       Keywords:                           |  Operating System:
   Architecture:  Unknown/Multiple         |  Unknown/Multiple
     Difficulty:  Easy (less than 1 hour)  |   Type of failure:
     Blocked By:                           |  None/Unknown
Related Tickets:                           |         Test Case:
                                           |          Blocking:
-------------------------------------------+-------------------------------
 With roles and Coercible in GHC, we ought to add role annotations to base
 and other libraries. We have them for `Ptr` and `FunPtr`; I guess we need
 them for

  * `Map` (first parameter)
  * `Set`
  * `Vector` (or rather its primitive building block)

 What else?

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


More information about the ghc-tickets mailing list