D2038: [WIP] TysPrim: Generalize kind of (->)

[Ben Gamari]

Richard Eisenberg <rae at cs.brynmawr.edu> writes:

snip
>
> I think the Right Answer is to get rid of newtype-classes & fix reify, and I’m worried that anything short of that will fail catastrophically at some point. Otherwise, it’s patches on top of patches.
>
> I don’t think there is disagreement here, but there is the question about what to do for 8.2.... and unless we’re ready to roll out the new reify, I think the best course of action is to delay the new Typeable and all this Constraint v Type stuff until 8.4. (The new levity polymorphism stuff already committed is hunky-dory.)
>
I am going to let you and Simon decide on this. While I would certainly
like to get the Typeable stuff off my plate (it's not terribly easy to
rebase), I am also acutely aware of the pressure to keep the release
cycle moving. In particular, I would like to avoid another drawn out
release like 8.0 if at all possible.

Of course, I would be happy to help with the implementation of whatever
plan we decide upon.

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-devs/attachments/20170131/b7b797e1/attachment.sig>