Reading source annotations during type checking
Alejandro Serrano Mena
trupill at gmail.com
Tue Dec 20 09:58:54 UTC 2016
Thanks very much! New things to try during Christmas :)
2016-12-20 8:47 GMT+01:00 Alan & Kim Zimmerman <alan.zimm at 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))
> On Tue, Dec 20, 2016 at 2:54 AM, Ben Gamari <ben at smart-cactus.org> wrote:
>> Alan, did you see this?
>> Alejandro Serrano Mena <trupill at 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
>> > during type checking. In particular, I am interested in reading them in
>> > TcExpr and TcCanonical.
>> > Regards,
>> > Alejandro
>> > _______________________________________________
>> > ghc-devs mailing list
>> > ghc-devs at haskell.org
>> > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs