Commit f3a5af90 authored by batterseapower's avatar batterseapower
Browse files

Add the ConstraintKind extension

parent 635e3b2f
......@@ -454,6 +454,12 @@ data KnownExtension =
-- trusted.
| Trustworthy
-- | [GHC § 7.40] Allow type class/implicit parameter/equality
-- constraints to be used as types with the special kind Constraint.
-- Also generalise the (ctxt => ty) syntax so that any type of kind
-- Constraint can occur before the arrow.
| ConstraintKind
deriving (Show, Read, Eq, Enum, Bounded)
{-# DEPRECATED knownExtensions
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment