Re: Planning for the 7.12 release

On Aug 28, 2015, at 1:33 PM, Ben Gamari 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