Quantified constraints

Simon Peyton Jones simonpj at microsoft.com
Wed May 23 16:29:38 UTC 2018

Now that the Quantified Constraints proposal<https://github.com/Gertjan423/ghc-proposals/blob/quantified-constraints/proposals/0000-quantified-constraints.rst> is accepted, I want to commit it to GHC before the 8.6 release.
It's up on https://phabricator.haskell.org/D4724 for your review.  It's rebased on master, and validates clean.
There's also a useful wiki page<https://ghc.haskell.org/trac/ghc/wiki/QuantifiedConstraints>.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20180523/c24b1d8f/attachment.html>

More information about the ghc-devs mailing list