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 <b...@smart-cactus.org> wrote:
> Facundo Domínguez <facundo.doming...@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
>
>
_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
