Re: [ghc-steering-committee] What should we start with?

No objections with the understanding that I'll still file a bug if something like the 8.0 RC comes up again. On Thu, Jan 26, 2017 at 10:16 AM, Ben Gamari wrote:

Simon Peyton Jones writes:

...

I'd like to suggest that we ADOPT

- Update levity polymorphism - Constraint vs type

for 8.2. They are very well advanced (the former is in HEAD); they tidy up a swamp of bugs; and they are a clear step forward from where we are today.

For the record I agree here; both proposals are well-considered and patch up issues which actively impede some legitimate uses of TypeInType.

Do we have objections to adoption?

Cheers,

- Ben

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

-- Chris Allen Currently working on http://haskellbook.com