diff options
Diffstat (limited to 'compiler/types/TypeRep.lhs')
| -rw-r--r-- | compiler/types/TypeRep.lhs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/compiler/types/TypeRep.lhs b/compiler/types/TypeRep.lhs index 605c97fcc4..d0903ec12e 100644 --- a/compiler/types/TypeRep.lhs +++ b/compiler/types/TypeRep.lhs @@ -158,9 +158,7 @@ Note [The kind invariant] ~~~~~~~~~~~~~~~~~~~~~~~~~ The kinds # UnliftedTypeKind - ArgKind super-kind of *, # - (#) UbxTupleKind - OpenKind super-kind of ArgKind, ubxTupleKind + OpenKind super-kind of *, # can never appear under an arrow or type constructor in a kind; they can only be at the top level of a kind. It follows that primitive TyCons, |