diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-05-10 15:14:11 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-05-10 15:14:11 +0100 |
| commit | f6e58be297f97e8871396f80a81fe3a9984d77b9 (patch) | |
| tree | c4fc762e7c44d864e4cbb9b0c3dde71235312886 | |
| parent | 1a43783edd3bda2b934aaedf2f68b4d0e0c5eb02 (diff) | |
| download | haskell-f6e58be297f97e8871396f80a81fe3a9984d77b9.tar.gz | |
Test Trac #11640
| -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, ['']) |