diff options
Diffstat (limited to 'compiler/types/Kind.hs')
| -rw-r--r-- | compiler/types/Kind.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/types/Kind.hs b/compiler/types/Kind.hs index 88ed114fe6..58e38f267e 100644 --- a/compiler/types/Kind.hs +++ b/compiler/types/Kind.hs @@ -95,6 +95,8 @@ returnsConstraintKind = returnsTyCon constraintKindTyConKey -- | Tests whether the given kind (which should look like @TYPE x@) -- is something other than a constructor tree (that is, constructors at every node). +-- E.g. True of TYPE k, TYPE (F Int) +-- False of TYPE 'LiftedRep isKindLevPoly :: Kind -> Bool isKindLevPoly k = ASSERT2( isStarKind k || _is_type, ppr k ) -- the isStarKind check is necessary b/c of Constraint |