<div dir="ltr"><div><div><span>Thanks Ben.<br><br><br></span></div><div><span>Both A and B (mentioned in Simon's reply) are good alternatives as long as existing Hoopl users are NOT forced to upgrade when they upgrade Cable or Stackage.  Otherwise, we will see more forks of Hoopl.   </span>Once Cable and Stackage gain the multi-version capability, A and B can be merged back to Hoopl as a major release. <br><br></div><div>In my experience, Hoopl based optimizations/program analyses tend to use a lot of memory, but they are also easy to verify. So it's still a useful tool in some special use cases.  If the performance of Hoopl can be improved, it will certainly be more useful. <br><br></div><div>Cheers,<br></div><div>Ning<br></div><div>  <br></div><span></span></div><div><span></span><br><div><div><span></span><blockquote type="cite"><div><b>From:</b> Ben Gamari <<a href="mailto:ben@smart-cactus.org" target="_blank">ben@smart-cactus.org</a>><br><b>Date:</b> June 12, 2017 at 11:05:51 AM PDT<br><b>To:</b> Simon Peyton Jones <<a href="mailto:simonpj@microsoft.com" target="_blank">simonpj@microsoft.com</a>>, Sophie Taylor <<a href="mailto:sophie@traumapony.org" target="_blank">sophie@traumapony.org</a>>, Michal Terepeta <<a href="mailto:michal.terepeta@gmail.com" target="_blank">michal.terepeta@gmail.com</a>>, ghc-devs <<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a>>, Ning Wang <<a href="mailto:email@ningwang.org" target="_blank">email@ningwang.org</a>><br><b>Cc:</b> Kavon Farvardin <<a href="mailto:kavon@cs.uchicago.edu" target="_blank">kavon@cs.uchicago.edu</a>><br><b>Subject:</b> <b>RE: Removing Hoopl dependency?</b><br><br></div></blockquote><div><span></span></div><span>Simon Peyton Jones via ghc-devs <<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a>> writes:</span><br><span></span><br><span>Snip</span><br><blockquote type="cite"><span></span><br></blockquote><blockquote type="cite"><span>That would leave Sophie free to do (B) free of the constraints of GHC</span><br></blockquote><blockquote type="cite"><span>depending on it; but we could always use it later.</span><br></blockquote><blockquote type="cite"><span></span><br></blockquote><blockquote type="cite"><span>Does that sound plausible?  Do we know of any other Hoopl users?</span><br></blockquote><span></span><br><span>CCing Ning, who is currently maintaining hoopl and I believe has some</span><br><span>projects using it.</span><br><span></span><br><span>Ning, you may want to have a look through this thread if you haven't</span><br><span>already seen it. You can find the previous messages in the list archive [1].</span><br><span></span><br><span>Cheers,</span><br><span></span><br><span>- Ben</span><br><span></span><br><span></span><br><span>[1] May messages: <a href="https://mail.haskell.org/pipermail/ghc-devs/2017-May/014255.html" target="_blank">https://mail.haskell.org/piper<wbr>mail/ghc-devs/2017-May/014255.<wbr>html</a></span><br><span>    June messages: <a href="https://mail.haskell.org/pipermail/ghc-devs/2017-June/014293.html" target="_blank">https://mail.haskell.org/piper<wbr>mail/ghc-devs/2017-June/014293<wbr>.html</a></span><br></div></div></div></div>