diff options
Diffstat (limited to 'testsuite/tests/polykinds/T16221.hs')
| -rw-r--r-- | testsuite/tests/polykinds/T16221.hs | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T16221.hs b/testsuite/tests/polykinds/T16221.hs new file mode 100644 index 0000000000..56a83748da --- /dev/null +++ b/testsuite/tests/polykinds/T16221.hs @@ -0,0 +1,13 @@ +{-# LANGUAGE GADTs, TypeInType, ExistentialQuantification #-} + +module T16221 where + +-- Failed Lint +data T3 a = forall k (b :: k). MkT3 (T3 b) !Int + +-- Works with GADT +data T4 a where + MkT4 :: T4 b -> !Int -> T4 a + +-- Works with CUSK +data T5 (a :: j) = forall k (b :: k). MkT5 (T5 b) !Int |