Commit 2404df48 authored by Duncan Coutts's avatar Duncan Coutts
Browse files

Change extension name to "ConstraintKinds"

For consistency with the rest of the extensions. Requested by SPJ.
parent f3a5af90
......@@ -458,7 +458,7 @@ data KnownExtension =
-- 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
| ConstraintKinds
deriving (Show, Read, Eq, Enum, Bounded)
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