diff options
Diffstat (limited to 'testsuite/tests/polykinds/T7973.hs')
| -rw-r--r-- | testsuite/tests/polykinds/T7973.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/testsuite/tests/polykinds/T7973.hs b/testsuite/tests/polykinds/T7973.hs index 05787d2295..44e3ac0468 100644 --- a/testsuite/tests/polykinds/T7973.hs +++ b/testsuite/tests/polykinds/T7973.hs @@ -3,8 +3,10 @@ module Test where +import Data.Kind (Type) + -- Kind-level proxies. -data {-kind-} K (a :: *) = KP +data {-kind-} K (a :: Type) = KP -- A type with 1 kind-polymorphic type argument. data T (n :: k) |