Thanks very much! New things to try during Christmas :)
Alejandro
2016-12-20 8:47 GMT+01:00 Alan & Kim Zimmerman :
> I did, and thought I saw a reply.
>
> They are captured in the AST.
>
> data AnnDecl name = HsAnnotation
> SourceText -- Note [Pragma
I did, and thought I saw a reply.
They are captured in the AST.
data AnnDecl name = HsAnnotation
SourceText -- Note [Pragma source text] in BasicTypes
(AnnProvenance name) (Located (HsExpr name))
Alan
On Tue, Dec 20, 2016 at 2:54 AM, Ben Gamari
Alan, did you see this?
Alejandro Serrano Mena writes:
> Dear GHC devs,
> Is there a way to retrieve "source annotations" (as defined by
> https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/extending_ghc.html#source-annotations)
> during type checking. In
Dear GHC devs,
Is there a way to retrieve "source annotations" (as defined by
https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/extending_ghc.html#source-annotations)
during type checking. In particular, I am interested in reading them in
TcExpr and TcCanonical.
Regards,
Alejandro