On Tue, Jan 10, 2012 at 1:04 PM, Nicholas Tung
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: http://www.haskell.org/pipermail/glasgow-haskell-users/2011-December/021310.... 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). Antoine
Thanks in advance, Nicholas — https://ntung.com — 4432-nstung
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe