diff options
Diffstat (limited to 'testsuite/tests/dependent/should_compile/T12176.hs')
| -rw-r--r-- | testsuite/tests/dependent/should_compile/T12176.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/testsuite/tests/dependent/should_compile/T12176.hs b/testsuite/tests/dependent/should_compile/T12176.hs index a11c151567..8c73918905 100644 --- a/testsuite/tests/dependent/should_compile/T12176.hs +++ b/testsuite/tests/dependent/should_compile/T12176.hs @@ -1,4 +1,5 @@ -{-# LANGUAGE RankNTypes, DataKinds, PolyKinds, GADTs, TypeFamilies #-} +{-# LANGUAGE RankNTypes, DataKinds, PolyKinds, GADTs, TypeFamilies, + StandaloneKindSignatures #-} module T12176 where @@ -10,7 +11,8 @@ data Proxy :: forall k. k -> Type where data X where MkX :: forall (k :: Type) (a :: k). Proxy a -> X -type Expr = (MkX :: forall (a :: Bool). Proxy a -> X) +type Expr :: forall (a :: Bool). Proxy a -> X +type Expr = MkX :: forall (a :: Bool). Proxy a -> X type family Foo (x :: forall (a :: k). Proxy a -> X) where Foo (MkX :: forall (a :: k). Proxy a -> X) = (MkProxy :: Proxy k) |