diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2011-09-07 17:00:24 +0100 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2011-09-07 17:00:24 +0100 |
commit | faa250315f5da6d17bdf59c7b4033681ce95ec0e (patch) | |
tree | dc51628749ef82cb1c82b3eb2ac304a57d33c270 /testsuite | |
parent | f92f72067fb1971301ffa680d20d81a54f024107 (diff) | |
download | haskell-faa250315f5da6d17bdf59c7b4033681ce95ec0e.tar.gz |
ConstraintKind -> ConstraintKinds
Diffstat (limited to 'testsuite')
10 files changed, 11 insertions, 11 deletions
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 |