summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghci/scripts/T19310.script
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/ghci/scripts/T19310.script')
-rw-r--r--testsuite/tests/ghci/scripts/T19310.script4
1 files changed, 4 insertions, 0 deletions
diff --git a/testsuite/tests/ghci/scripts/T19310.script b/testsuite/tests/ghci/scripts/T19310.script
new file mode 100644
index 0000000000..64a72c2e50
--- /dev/null
+++ b/testsuite/tests/ghci/scripts/T19310.script
@@ -0,0 +1,4 @@
+:m GHC.Exts GHC.Types
+:set -fprint-explicit-kinds -XDataKinds -XKindSignatures
+type T = FUN 'Many :: Type -> Type -> Type
+:i T