Extracting comments from the source code

[Facundo Domínguez]

Thanks folks. I was concerned I might be missing some dedicated way to
achieve the same with the GHC API. I agree there's a fair chance this won't
be noticeable in benchmarks.

Cheers!
Facundo


On Fri, Jan 27, 2023 at 10:15 PM Ben Gamari <ben at smart-cactus.org> wrote:

> 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 --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20230130/a8bafd1d/attachment.html>