Documentation for CoreMonad.getAnnotations
The documentation for getAnnotations
in CoreMonad
is a bit unclear. In particular, the documentation could be improved by indicating that the returned UniqFM
is keyed off of the Unique
corresponding to an AnnTarget
: That is, to look up the annotations on x
, it seems one should call getAnnotations
on either ModuleTarget x
or NamedTarget x
(if my understanding of how this all works is correct, that is).
I stumbled across this by trying to look up the annotations on module m
using the key getUnique m
. This was incorrect as the annotation is stored on a unique *derived* from getUnique m
(which wasn't indicated in the documentation).
Thanks!
Trac metadata
Trac field | Value |
---|---|
Version | 7.10.3 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Documentation |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |