diff options
| -rw-r--r-- | testsuite/tests/polykinds/T11640.hs | 7 | ||||
| -rw-r--r-- | testsuite/tests/polykinds/all.T | 1 |
2 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T11640.hs b/testsuite/tests/polykinds/T11640.hs new file mode 100644 index 0000000000..16d9f7ccff --- /dev/null +++ b/testsuite/tests/polykinds/T11640.hs @@ -0,0 +1,7 @@ +{-# LANGUAGE RankNTypes, TypeInType #-} + +module T11640 where + +import Data.Kind + +data HEq :: forall k1. k1 -> forall k2. k2 -> Type where diff --git a/testsuite/tests/polykinds/all.T b/testsuite/tests/polykinds/all.T index f2e274b060..2c3d1df866 100644 --- a/testsuite/tests/polykinds/all.T +++ b/testsuite/tests/polykinds/all.T @@ -147,3 +147,4 @@ test('T11648', normal, compile, ['']) test('T11648b', normal, compile_fail, ['']) test('KindVType', normal, compile_fail, ['']) test('T11821', normal, compile, ['']) +test('T11640', normal, compile, ['']) |