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 |