[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