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