[Haskell-cafe] When will constraint kinds roll out?

Antoine Latter aslatter at gmail.com
Tue Jan 10 20:36:02 CET 2012

On Tue, Jan 10, 2012 at 1:04 PM, Nicholas Tung <ntung at ntung.com> wrote:
> Just a quick, logistical question: I see constraint kinds didn't make it to
> GHC 7.2.2; does anyone have guesses when the extension will roll out in an
> official release? Our research team is interested in using Haskell for an
> EDSL, and having both constraint kinds and access to all of the libraries on
> Hackage would be optimal. (I've been writing an EDSL with monad transformers
> and the rmonad package myself, but think it is too difficult and cumbersome
> if we are to use Haskell EDSL approaches more broadly).

Constraint kinds are in the release branch for the upcoming 7.4
release, and were in the build of 7.4.1 RC 1 that went out a bit ago:


I'm not on the GHC team, but from what I've seen new features like
this generally don't get added in point releases (something like from
7.1.1 to 7.2.2).


> Thanks in advance,
> Nicholas — https://ntung.com — 4432-nstung
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

More information about the Haskell-Cafe mailing list