Planning for the 7.12 release

[Richard Eisenberg]

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