On Aug 28, 2015, at 1:33 PM, Ben Gamari <[email protected]> wrote: > I > half-jokingly suggested that 8.0 should only come with Phase 2 of > Richard's Dependent Haskell work, but I'm willing to settle for > merely kind equality. > > I think doing a major bump would be a great idea.
Drat! I, too, was hoping to herald in 8.0 with -XDependentTypes, but I guess I'm a little late. Don't hold up this change for me, though. :) Richard _______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
