Extracting comments from the source code

Ben Gamari ben at smart-cactus.org
Sat Jan 28 01:15:02 UTC 2023


Facundo Domínguez <facundo.dominguez at tweag.io> writes:

> Dear GHC devs,
>
> I'm trying to port Liquid Haskell to ghc 9.2.5. And having much difficulty
> using the GHC API for a specific task, so I come here to ask about it.
>
> As you may know already, Liquid Haskell needs to read special comments from
> Haskell source code which have the form {-@ ... @-}.
>
I agree with Santiago here: Data doesn't produce fantiastic code but I
would guess that the cost of the traversal to collect your signatures
will be negligible relative to the cost of the work you will later do
later in your pipeline. I would leave optimising this until you know
that it is a significant problem.

Cheers,

 - Ben

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20230127/31f89541/attachment.sig>


More information about the ghc-devs mailing list