From faa250315f5da6d17bdf59c7b4033681ce95ec0e Mon Sep 17 00:00:00 2001
From: Simon Peyton Jones <simonpj@microsoft.com>
Date: Wed, 7 Sep 2011 17:00:24 +0100
Subject: ConstraintKind -> ConstraintKinds

---
 testsuite/tests/typecheck/should_compile/tc250.hs      | 2 +-
 testsuite/tests/typecheck/should_compile/tc251.hs      | 2 +-
 testsuite/tests/typecheck/should_fail/tcfail209.stderr | 2 +-
 testsuite/tests/typecheck/should_fail/tcfail210.stderr | 2 +-
 testsuite/tests/typecheck/should_fail/tcfail212.hs     | 4 ++--
 testsuite/tests/typecheck/should_fail/tcfail213.hs     | 2 +-
 testsuite/tests/typecheck/should_fail/tcfail214.hs     | 2 +-
 testsuite/tests/typecheck/should_run/tcrun043.hs       | 2 +-
 testsuite/tests/typecheck/should_run/tcrun044.hs       | 2 +-
 testsuite/tests/typecheck/should_run/tcrun046.hs       | 2 +-
 10 files changed, 11 insertions(+), 11 deletions(-)

(limited to 'testsuite')

diff --git a/testsuite/tests/typecheck/should_compile/tc250.hs b/testsuite/tests/typecheck/should_compile/tc250.hs
index cf9568579d..dcfbf1a1a7 100644
--- a/testsuite/tests/typecheck/should_compile/tc250.hs
+++ b/testsuite/tests/typecheck/should_compile/tc250.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE TypeFamilies, ConstraintKind, UndecidableInstances #-}
+{-# LANGUAGE TypeFamilies, ConstraintKinds, UndecidableInstances #-}
 module Ctx where
 
 type family Indirect :: * -> Constraint
diff --git a/testsuite/tests/typecheck/should_compile/tc251.hs b/testsuite/tests/typecheck/should_compile/tc251.hs
index c878febe42..a9b0440db9 100644
--- a/testsuite/tests/typecheck/should_compile/tc251.hs
+++ b/testsuite/tests/typecheck/should_compile/tc251.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE TypeFamilies, ConstraintKind, UndecidableInstances #-}
+{-# LANGUAGE TypeFamilies, ConstraintKinds, UndecidableInstances #-}
 module Ctx where
 
 type family Indirect :: * -> Constraint
diff --git a/testsuite/tests/typecheck/should_fail/tcfail209.stderr b/testsuite/tests/typecheck/should_fail/tcfail209.stderr
index 964a10e125..b3c7a104e2 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail209.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail209.stderr
@@ -1,7 +1,7 @@
 
 tcfail209.hs:5:1:
     Illegal irreducible constraint Showish a
-    (Use -XConstraintKind to permit this)
+    (Use -XConstraintKinds to permit this)
     In the type signature for `f': f :: Showish a => a -> a
 
 tcfail209.hs:8:8:
diff --git a/testsuite/tests/typecheck/should_fail/tcfail210.stderr b/testsuite/tests/typecheck/should_fail/tcfail210.stderr
index 46f04043fc..d5b106a86d 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail210.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail210.stderr
@@ -2,4 +2,4 @@
 tcfail210.hs:4:31:
     Unexpected named kind:
         Constraint
-    Perhaps you meant to use -XConstraintKind?
+    Perhaps you meant to use -XConstraintKinds?
diff --git a/testsuite/tests/typecheck/should_fail/tcfail212.hs b/testsuite/tests/typecheck/should_fail/tcfail212.hs
index 9ebc242563..d0b5c7a259 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail212.hs
+++ b/testsuite/tests/typecheck/should_fail/tcfail212.hs
@@ -1,9 +1,9 @@
-{-# LANGUAGE ConstraintKind, MagicHash #-}
+{-# LANGUAGE ConstraintKinds, MagicHash #-}
 module ShouldFail where
 
 import GHC.Exts
 
--- If we turn on ConstraintKind the typing rule for
+-- If we turn on ConstraintKinds the typing rule for
 -- tuple types is generalised. This test checks that
 -- we get a reasonable error for unreasonable tuples.
 
diff --git a/testsuite/tests/typecheck/should_fail/tcfail213.hs b/testsuite/tests/typecheck/should_fail/tcfail213.hs
index 133418a1cf..9451533a15 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail213.hs
+++ b/testsuite/tests/typecheck/should_fail/tcfail213.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE TypeFamilies, ConstraintKind #-}
+{-# LANGUAGE TypeFamilies, ConstraintKinds #-}
 module ShouldFail where
 
 type family F a :: Constraint
diff --git a/testsuite/tests/typecheck/should_fail/tcfail214.hs b/testsuite/tests/typecheck/should_fail/tcfail214.hs
index 718810a4c8..553dfcfcc6 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail214.hs
+++ b/testsuite/tests/typecheck/should_fail/tcfail214.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE TypeFamilies, ConstraintKind #-}
+{-# LANGUAGE TypeFamilies, ConstraintKinds #-}
 module ShouldFail where
 
 type family F a :: Constraint
diff --git a/testsuite/tests/typecheck/should_run/tcrun043.hs b/testsuite/tests/typecheck/should_run/tcrun043.hs
index 9e2e6d75be..6500df7000 100644
--- a/testsuite/tests/typecheck/should_run/tcrun043.hs
+++ b/testsuite/tests/typecheck/should_run/tcrun043.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE GADTs, TypeFamilies, ConstraintKind #-}
+{-# LANGUAGE GADTs, TypeFamilies, ConstraintKinds #-}
 
 type Showish = Show
 
diff --git a/testsuite/tests/typecheck/should_run/tcrun044.hs b/testsuite/tests/typecheck/should_run/tcrun044.hs
index 031cd40bde..f39505e980 100644
--- a/testsuite/tests/typecheck/should_run/tcrun044.hs
+++ b/testsuite/tests/typecheck/should_run/tcrun044.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE TypeFamilies, ConstraintKind #-}
+{-# LANGUAGE TypeFamilies, ConstraintKinds #-}
 
 import qualified Data.Set as S
 
diff --git a/testsuite/tests/typecheck/should_run/tcrun046.hs b/testsuite/tests/typecheck/should_run/tcrun046.hs
index 9eb4018adb..c75b59aa92 100644
--- a/testsuite/tests/typecheck/should_run/tcrun046.hs
+++ b/testsuite/tests/typecheck/should_run/tcrun046.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE TypeFamilies, ConstraintKind, GADTs #-}
+{-# LANGUAGE TypeFamilies, ConstraintKinds, GADTs #-}
 
 module Main where
 
-- 
cgit v1.2.1