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 <[email protected]> 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/ _______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
