Commit c110704e authored by Jan-Hendrik Matthes's avatar Jan-Hendrik Matthes 😄

Add a test for functional patterns with higher-rank types

parent c7aefd14
......@@ -170,6 +170,7 @@ passInfos = map mkPassTest
, "Prelude"
, "Pretty"
, "RankNTypes"
, "RankNTypesFuncPats"
, "RankNTypesImport"
, "RecordsPolymorphism"
, "RecordTest1"
......
{-# LANGUAGE FunctionalPatterns #-}
{-# LANGUAGE RankNTypes #-}
funH :: (forall c. Int -> c) -> a -> b -> Int
funH g (funF g x) (funF g y) = x + y
funF :: (a -> b) -> a -> b
funF g a = g a
funHTest :: Int
funHTest = funH id 4 4
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment