diff options
Diffstat (limited to 'testsuite/tests/polykinds/T14555.hs')
| -rw-r--r-- | testsuite/tests/polykinds/T14555.hs | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T14555.hs b/testsuite/tests/polykinds/T14555.hs new file mode 100644 index 0000000000..7f37a5ec9c --- /dev/null +++ b/testsuite/tests/polykinds/T14555.hs @@ -0,0 +1,12 @@ +{-# Language TypeOperators, DataKinds, PolyKinds, GADTs #-} + + +module T14555 where + +import Data.Kind +import GHC.Types (TYPE, Type) + +data Exp :: [TYPE rep] -> TYPE rep -> Type where +--data Exp (x :: [TYPE rep]) (y :: TYPE rep) where +--data Exp (x :: [TYPE rep]) y where + Lam :: Exp (a:xs) b -> Exp xs (a -> b) |