diff options
Diffstat (limited to 'testsuite/tests')
-rw-r--r-- | testsuite/tests/polykinds/T18522-ppr.script | 4 | ||||
-rw-r--r-- | testsuite/tests/polykinds/T18522-ppr.stdout | 1 | ||||
-rw-r--r-- | testsuite/tests/polykinds/all.T | 1 |
3 files changed, 6 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T18522-ppr.script b/testsuite/tests/polykinds/T18522-ppr.script new file mode 100644 index 0000000000..54d3619c6e --- /dev/null +++ b/testsuite/tests/polykinds/T18522-ppr.script @@ -0,0 +1,4 @@ +:set -XPolyKinds -XDataKinds -XRankNTypes -XTypeFamilies +import Data.Kind (Type) +type family T :: forall k -> (k ~ k) => forall j -> k -> j -> Type +:k T diff --git a/testsuite/tests/polykinds/T18522-ppr.stdout b/testsuite/tests/polykinds/T18522-ppr.stdout new file mode 100644 index 0000000000..241530bbed --- /dev/null +++ b/testsuite/tests/polykinds/T18522-ppr.stdout @@ -0,0 +1 @@ +T :: forall k -> (k ~ k) => forall j -> k -> j -> * diff --git a/testsuite/tests/polykinds/all.T b/testsuite/tests/polykinds/all.T index 436bb9dbce..68bf260e64 100644 --- a/testsuite/tests/polykinds/all.T +++ b/testsuite/tests/polykinds/all.T @@ -223,3 +223,4 @@ test('T18300', normal, compile_fail, ['']) test('T18451', normal, compile_fail, ['']) test('T18451a', normal, compile_fail, ['']) test('T18451b', normal, compile_fail, ['']) +test('T18522-ppr', normal, ghci_script, ['T18522-ppr.script']) |