diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_run/tcrun042.hs')
-rw-r--r-- | testsuite/tests/typecheck/should_run/tcrun042.hs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_run/tcrun042.hs b/testsuite/tests/typecheck/should_run/tcrun042.hs new file mode 100644 index 0000000000..1ea5c2467f --- /dev/null +++ b/testsuite/tests/typecheck/should_run/tcrun042.hs @@ -0,0 +1,10 @@ +{-# LANGUAGE TupleSections, RankNTypes, ImpredicativeTypes #-} +module Main where + +e :: a -> (forall b. b -> b -> b) -> (a, String, forall c. c -> c -> c) +e = (,"Hello" ++ "World",) + +dropFunction :: (a, String, forall c. c -> c -> c) -> (a, String, Int) +dropFunction (x, y, z) = (x, y, z 10 20) + +main = print (dropFunction $ e "Meh" (flip const), dropFunction $ e 10 const)
\ No newline at end of file |