Reading source annotations during type checking

[Alejandro Serrano Mena]

Thanks very much! New things to try during Christmas :)

Alejandro

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))
>
> Alan
>
> 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
>> 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 at haskell.org
>> > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20161220/ba2457a7/attachment-0001.html>