Allow reify to yield types in the current declaration group
Here is the motivation TemplateHaskell/Reify.
It would be useful to have a way to obtain types of identifiers in the current declaration group in splices. However, reify
is defined to provide information about identifiers in previous declaration groups only.
It would be fine to allow reify
to work in a scheme combined with addModFinalizer
or similar so it is executed when the types are known.
Trac metadata
Trac field | Value |
---|---|
Version | 7.10.3 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | goldfire, mboes |
Operating system | |
Architecture |