Jurriaan,
It would be good to dig out the patches that affect packages without which GHC cannot build. (E.g. haskeline.) Would that take long? You have them already... It doesn't have to be perfect or git-tracked; just send a patch file in an email. I'm just trying to avoid re-inventing the wheel.
A more systematic set of patches, for all the hackage packages you looked at, could certainly wait a week or three.
Thanks
Simon
| -----Original Message-----
| From: Jurriaan Hage
| Sent: 02 February 2020 19:00
| To: Simon Peyton Jones
| Cc: Jurriaan Hage ; Ben Gamari ; ghc-
| devs
| Subject: Re: Simplifying subsumption
|
| Hi Simon,
|
| Fine by me.
| What kind of timeline are we looking at? I have to grade exams the coming
| week, since I was ill last week,
| and the week afterwards I am in Poland (but maybe I do have time for this
| kind of thing then).
|
| Jur
|
| > On 2Feb, 2020, at 19:38, Simon Peyton Jones
| wrote:
| >
| > Jurriaan, Ben
| >
| > I have a MR up for #17775, which implements the now-accepted GHC
| proposal to simplify subsumption.
| >
| >
| https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitlab.h
| askell.org%2Fghc%2Fghc%2Fmerge_requests%2F2600&data=02%7C01%7Csimonpj%
| 40microsoft.com%7C3d05874428304c245e9d08d7a8121882%7C72f988bf86f141af91ab2
| d7cd011db47%7C1%7C0%7C637162667999082070&sdata=Y7s3L%2F1xrCSxdF0EfRNik
| YJnOU2Y6RtVlR92irMg7cU%3D&reserved=0
| >
| > However, it requires some eta expansions in haskeline, and maybe other
| packages. I don’t know how to do that. Could you, or another member of
| the GHC support team, help do this? We want a MR we can validate on its
| own before committing, of course.
| >
| > Jurriaan has all the necessary library patches.
| >
| > We should not commit to HEAD until there has been some code review,
| though.
| >
| > Moreover as we know, when committed, it’ll break a number of packages,
| so we need to broadcast a warning, along with the patches Jurriaan has to
| fix them. I’m not sure when and how to do that.
| >
| > Thanks!
| >
| > Simon
| >
