Reading source annotations during type checking
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_gh...) during type checking. In particular, I am interested in reading them in TcExpr and TcCanonical. Regards, Alejandro
Alan, did you see this? Alejandro Serrano Mena <trupill@gmail.com> 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_gh...) during type checking. In particular, I am interested in reading them in TcExpr and TcCanonical.
Regards, Alejandro _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
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 <ben@smart-cactus.org> wrote:
Alan, did you see this?
Alejandro Serrano Mena <trupill@gmail.com> 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 particular, I am interested in reading them in TcExpr and TcCanonical.
Regards, Alejandro _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Thanks very much! New things to try during Christmas :) Alejandro 2016-12-20 8:47 GMT+01:00 Alan & Kim Zimmerman <alan.zimm@gmail.com>:
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 <ben@smart-cactus.org> wrote:
Alan, did you see this?
Alejandro Serrano Mena <trupill@gmail.com> writes:
Dear GHC devs, Is there a way to retrieve "source annotations" (as defined by https://downloads.haskell.org/~ghc/latest/docs/html/users_gu ide/extending_ghc.html#source-annotations) during type checking. In particular, I am interested in reading them in TcExpr and TcCanonical.
Regards, Alejandro _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
participants (3)
-
Alan & Kim Zimmerman -
Alejandro Serrano Mena -
Ben Gamari