Re: Removing Hoopl dependency?

On Mon, Jun 12, 2017 at 8:05 PM Ben Gamari wrote: Simon Peyton Jones via ghc-devs writes:

Snip

...

That would leave Sophie free to do (B) free of the constraints of GHC depending on it; but we could always use it later.

Does that sound plausible? Do we know of any other Hoopl users?

CCing Ning, who is currently maintaining hoopl and I believe has some projects using it.

Ning, you may want to have a look through this thread if you haven't already seen it. You can find the previous messages in the list archive [1].

Cheers,

- Ben

Based on [1] there are four public packages: - ethereum-analyzer, - linearscan-hoopl, - llvm-analysis, - text-show-instances But there might be more that are not open-source/uploaded to hackage/stackage. Cheers, Michal [1] https://www.stackage.org/lts-8.18/package/hoopl-3.10.2.1