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

[Ben Gamari]

Simon Peyton Jones <simonpj at microsoft.com> 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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20170126/09f5d7f2/attachment.sig>