ref: fef81c25bf7ac217797c6c209d5e5ad38b52712c
parent: 5b20756d9f95c060641686c2026350086cef5e00
author: Lennart Augustsson <lennart.augustsson@epicgames.com>
date: Wed Sep 20 10:57:32 EDT 2023
Add test
--- /dev/null
+++ b/tests/Rank2.hs
@@ -1,0 +1,13 @@
+module Rank2(main) where
+import Prelude
+
+f :: (forall a . a -> a) -> (Int, Bool)
+f i = (i 1, i True)
+
+g :: (forall a . a -> Int -> a) -> (Int, Bool)
+g c = (c 1 1, c True 1)
+
+main :: IO ()
+main = do
+ putStrLn $ showPair showInt showBool $ f id
+ putStrLn $ showPair showInt showBool $ g const
--- /dev/null
+++ b/tests/Rank2.ref
@@ -1,0 +1,2 @@
+(1,True)
+(1,True)
--
⑨