A big patch

[Austin Seipp]

Sure. I'm looking at it now; I'll try and get a copy onto Phab shortly.

On Tue, Nov 3, 2015 at 10:54 AM, Simon Peyton Jones
<simonpj at microsoft.com> wrote:
> Ben, Austin
>
> I wonder if one of you could put up a big patch on Phab for me?
>
> I started about two months ago on a modest refactoring of HsType and
> friends, to clarify and tidy up exactly where quantification takes place in
> types.   Although initially driven by making the implementation of wildcards
> more tidy (and fixing a  number of bugs), I gradually got drawn into a
> pretty big process, which I’ve been doing on and off for quite a long time.
> It’s time to finish!
>
> I could just commit, but it’s good practice to put it on Phab first.  Could
> you do that for me?
>
> ·         It’s in branch wip/spj-wildcard-refactor
>
> ·         It’s up to date with HEAD from a day or two back
>
> ·         The principal driving change is described in Note [HsType binders]
> in HsType.   Worth reading!  Those data type changes drive almost everything
> else.
>
> ·         There are some uninteresting knock-on changes in Haddock, which
> are in wip/spj-wildcard-refactor in utils/haddock.  I’ve done the submodule
> commit thing so the ghc-repo branch should refer correctly to the Haddock
> branch.
>
> ·         The commit log on the branch is of no interest; just dump it
> entirely.  I will write a proper commit message in due course.
>
> ·         A handful of tests are failing.   I’m working on that, but I want
> to get this onto Phab now awyway.
>
> You could include this email as the Phab description.
>
> Thanks!
>
> Simon



-- 
Regards,

Austin Seipp, Haskell Consultant
Well-Typed LLP, http://www.well-typed.com/