support for generating annotations from TH
This patch adds support for template haskell generation of annotations. This is currently only possible directly via {-\# ANN function "whatever annotation \#-}
.
The attached patch makes it possible to do the same from TH.
Module and type annotations are supported too.
This is part of a larger effort to make it possible to cross-module communicate between template haskell runs. See #7867 (closed) for a longer discussion.
Trac metadata
Trac field | Value |
---|---|
Version | 7.7 |
Type | FeatureRequest |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |