[commit: testsuite] no-pred-ty: ConstraintKind -> ConstraintKinds (47ac738)

[Simon Peyton Jones]

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : no-pred-ty

http://hackage.haskell.org/trac/ghc/changeset/47ac738f3083e345a82896ad8e33a8070ffa7332

>---------------------------------------------------------------

commit 47ac738f3083e345a82896ad8e33a8070ffa7332
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Sep 7 17:00:24 2011 +0100

    ConstraintKind -> ConstraintKinds

>---------------------------------------------------------------

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

diff --git a/tests/typecheck/should_compile/tc250.hs b/tests/typecheck/should_compile/tc250.hs
index cf95685..dcfbf1a 100644
--- a/tests/typecheck/should_compile/tc250.hs
+++ b/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/tests/typecheck/should_compile/tc251.hs b/tests/typecheck/should_compile/tc251.hs
index c878feb..a9b0440 100644
--- a/tests/typecheck/should_compile/tc251.hs
+++ b/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/tests/typecheck/should_fail/tcfail209.stderr b/tests/typecheck/should_fail/tcfail209.stderr
index 964a10e..b3c7a10 100644
--- a/tests/typecheck/should_fail/tcfail209.stderr
+++ b/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/tests/typecheck/should_fail/tcfail210.stderr b/tests/typecheck/should_fail/tcfail210.stderr
index 46f0404..d5b106a 100644
--- a/tests/typecheck/should_fail/tcfail210.stderr
+++ b/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/tests/typecheck/should_fail/tcfail212.hs b/tests/typecheck/should_fail/tcfail212.hs
index 9ebc242..d0b5c7a 100644
--- a/tests/typecheck/should_fail/tcfail212.hs
+++ b/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/tests/typecheck/should_fail/tcfail213.hs b/tests/typecheck/should_fail/tcfail213.hs
index 133418a..9451533 100644
--- a/tests/typecheck/should_fail/tcfail213.hs
+++ b/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/tests/typecheck/should_fail/tcfail214.hs b/tests/typecheck/should_fail/tcfail214.hs
index 718810a..553dfcf 100644
--- a/tests/typecheck/should_fail/tcfail214.hs
+++ b/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/tests/typecheck/should_run/tcrun043.hs b/tests/typecheck/should_run/tcrun043.hs
index 9e2e6d7..6500df7 100644
--- a/tests/typecheck/should_run/tcrun043.hs
+++ b/tests/typecheck/should_run/tcrun043.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE GADTs, TypeFamilies, ConstraintKind #-}
+{-# LANGUAGE GADTs, TypeFamilies, ConstraintKinds #-}
 
 type Showish = Show
 
diff --git a/tests/typecheck/should_run/tcrun044.hs b/tests/typecheck/should_run/tcrun044.hs
index 031cd40..f39505e 100644
--- a/tests/typecheck/should_run/tcrun044.hs
+++ b/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/tests/typecheck/should_run/tcrun046.hs b/tests/typecheck/should_run/tcrun046.hs
index 9eb4018..c75b59a 100644
--- a/tests/typecheck/should_run/tcrun046.hs
+++ b/tests/typecheck/should_run/tcrun046.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE TypeFamilies, ConstraintKind, GADTs #-}
+{-# LANGUAGE TypeFamilies, ConstraintKinds, GADTs #-}
 
 module Main where