[commit: ghc] wip/rae: Remove NonParametricKinds (#9200) (095d54a)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/rae
Link       : http://ghc.haskell.org/trac/ghc/changeset/095d54adbfea4d2f6f874bc69107a336fda03e22/ghc

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

commit 095d54adbfea4d2f6f874bc69107a336fda03e22
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Thu Aug 7 08:37:05 2014 -0400

    Remove NonParametricKinds (#9200)


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

095d54adbfea4d2f6f874bc69107a336fda03e22
 compiler/typecheck/TcHsType.lhs | 2 --
 1 file changed, 2 deletions(-)

diff --git a/compiler/typecheck/TcHsType.lhs b/compiler/typecheck/TcHsType.lhs
index d075cbc..fef1603 100644
--- a/compiler/typecheck/TcHsType.lhs
+++ b/compiler/typecheck/TcHsType.lhs
@@ -1058,7 +1058,6 @@ Type families:
 \begin{code}
 data KindCheckingStrategy   -- See Note [Kind-checking strategies]
   = ParametricKinds
-  | NonParametricKinds
   | FullKindSignature
   deriving (Eq)
 
@@ -1144,7 +1143,6 @@ kcHsTyVarBndrs strat (HsQTvs { hsq_kvs = kv_ns, hsq_tvs = hs_tvs }) thing_inside
     -- See Note [Kind-checking strategies]
     (skolem_kvs, default_to_star, generalise) = case strat of
           ParametricKinds    -> (False, False, False)
-          NonParametricKinds -> (True,  False, True)
           FullKindSignature  -> (True,  True,  True)
 
     kc_hs_tv :: HsTyVarBndr Name -> TcM (Name, TcKind)