summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghci/scripts/T8959.script
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/ghci/scripts/T8959.script')
-rw-r--r--testsuite/tests/ghci/scripts/T8959.script8
1 files changed, 5 insertions, 3 deletions
diff --git a/testsuite/tests/ghci/scripts/T8959.script b/testsuite/tests/ghci/scripts/T8959.script
index da60aeb44e..e8f7490111 100644
--- a/testsuite/tests/ghci/scripts/T8959.script
+++ b/testsuite/tests/ghci/scripts/T8959.script
@@ -1,20 +1,22 @@
:set -XPatternGuards -XArrows -XRankNTypes
+let hr :: (forall a. a -> a) -> a; hr _ = undefined
+
:t lookup
-:t undefined :: (forall a. a -> a) -> a
+:t hr :: (forall a. a -> a) -> a
:t () >- () -< () >>- () -<< ()
let fun foo | True <- () = ()
:set -fprint-unicode-syntax
:t lookup
-:t undefined :: (forall a. a -> a) -> a
+:t hr :: (forall a. a -> a) -> a
:t () >- () -< () >>- () -<< ()
let fun foo | True <- () = ()
:set -fno-print-unicode-syntax
:t lookup
-:t undefined :: (forall a. a -> a) -> a
+:t hr :: (forall a. a -> a) -> a
:t () >- () -< () >>- () -<< ()
let fun foo | True <- () = ()