Planning for the 7.12 release

Richard Eisenberg eir at
Sat Aug 29 13:54:24 UTC 2015

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


More information about the ghc-devs mailing list