diff options
Diffstat (limited to 'testsuite/tests/ghci/scripts/T15872.script')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T15872.script | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/tests/ghci/scripts/T15872.script b/testsuite/tests/ghci/scripts/T15872.script new file mode 100644 index 0000000000..9a60bbd5f8 --- /dev/null +++ b/testsuite/tests/ghci/scripts/T15872.script @@ -0,0 +1,10 @@ +:l T15872 + +:t MkFun +:k Fun +:i Fun + +:set -fprint-explicit-kinds +:t MkFun +:k Fun +:i Fun |