summaryrefslogtreecommitdiff
path: root/testsuite/tests/hiefile/should_compile/hie007.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/hiefile/should_compile/hie007.hs')
-rw-r--r--testsuite/tests/hiefile/should_compile/hie007.hs3
1 files changed, 3 insertions, 0 deletions
diff --git a/testsuite/tests/hiefile/should_compile/hie007.hs b/testsuite/tests/hiefile/should_compile/hie007.hs
index 3f0103bf2a..a99e6340c6 100644
--- a/testsuite/tests/hiefile/should_compile/hie007.hs
+++ b/testsuite/tests/hiefile/should_compile/hie007.hs
@@ -64,3 +64,6 @@ thud f x =
(x :: a, y) :: (a, b)
where
y = (f :: a -> b) x :: b
+
+rankn :: (forall a1. a1 -> b) -> a2 -> b
+rankn (g :: forall a1. a1 -> b) x = g x :: b