diff options
Diffstat (limited to 'testsuite/tests/gadt/T14808.hs')
-rw-r--r-- | testsuite/tests/gadt/T14808.hs | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/testsuite/tests/gadt/T14808.hs b/testsuite/tests/gadt/T14808.hs new file mode 100644 index 0000000000..da3d5212cd --- /dev/null +++ b/testsuite/tests/gadt/T14808.hs @@ -0,0 +1,18 @@ +{-# LANGUAGE ConstraintKinds #-} +{-# LANGUAGE GADTs #-} +{-# LANGUAGE TypeApplications #-} +module T14808 where + +import Data.Kind + +data ECC ctx f a where + ECC :: ctx => f a -> ECC ctx f a + +f :: [()] -> ECC () [] () +f = ECC @() @[] @() + +data ECC2 f a ctx where + ECC2 :: ctx => f a -> ECC2 f a ctx + +f2 :: [()] -> ECC2 [] () () +f2 = ECC2 @() @[] @() |