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 wrote:
> Facundo Domínguez writes:
>
> > Dear GHC devs,
>
Facundo Domínguez 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
I’m not sure why you expect it to be so slow? When developing refactoring
tasks for HLS I have never noticed big latencies, even when performing
multiple generic traversals over a full module.
You might have some success by specializing or inking the definition, so
that GHC can optimize the traver
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 {-@ ... @-}.
For ex
