Add role annotations to base
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?
Trac metadata
Trac field | Value |
---|---|
Version | 7.6.3 |
Type | Task |
TypeOfFailure | OtherFailure |
Priority | high |
Resolution | Unresolved |
Component | libraries/base |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |