Re: Removing Hoopl dependency?

Michal Terepeta writes: > Maybe this is the core of our disagreement - why is it a good idea to > have Hoopl as a separate package in the first place? > > I've pointed multiple reasons why I think it has a significant cost. > But I don't really see any major benefits.

Re: Removing Hoopl dependency?

> On Wed, Jun 7, 2017 at 7:05 PM Simon Peyton Jones wrote: > Michael > > Sorry to be slow. > > > Note that what I’m actually advocating is to *finish* forking Hoopl. The > > fork really started in ~2012 when the “new Cmm backend” was being > > finished. > > Yes, I know.