Planning for the 7.12 release
eir at cis.upenn.edu
Sat Aug 29 13:54:24 UTC 2015
On Aug 28, 2015, at 1:33 PM, Ben Gamari <ben at well-typed.com> wrote:
> 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