ghc/compiler/tests/simplCore/simpl001.hs

   1 --!!! Desugaring sections with function-type arguments
   2 --  Although this is really a desugaring test, the problem is
   3 -- only tickled by the simplifier
   4
   5 -- type Foo a b = a -> (b -> a) -> b
   6
   7 (++++) :: (a -> (b -> a) -> b) -> (a -> (b -> a) -> b) -> a -> (b -> a) -> b
   8 x ++++ y = y
   9
  10 g a xs = map (++++ a) xs
  11
  12 h b xs = map (b ++++) xs