diff options
Diffstat (limited to 'testsuite/tests/polykinds/T6118.hs')
| -rw-r--r-- | testsuite/tests/polykinds/T6118.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/testsuite/tests/polykinds/T6118.hs b/testsuite/tests/polykinds/T6118.hs index aaa78e7cee..355c8fb72a 100644 --- a/testsuite/tests/polykinds/T6118.hs +++ b/testsuite/tests/polykinds/T6118.hs @@ -3,13 +3,14 @@ module T6118 where -import GHC.Exts +import GHC.Exts (Any) +import Data.Kind (Type) data Nat = Zero | Succ Nat data List a = Nil | Cons a (List a) class SingE (a :: k) where - type Demote a :: * + type Demote a :: Type instance SingE (a :: Bool) where type Demote a = Bool |