ghc/tests/simplCore/should_compile/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 module Test where
   7
   8 (++++) :: (a -> (b -> a) -> b) -> (a -> (b -> a) -> b) -> a -> (b -> a) -> b
   9 x ++++ y = y
  10
  11 g a xs = map (++++ a) xs
  12
  13 h b xs = map (b ++++) xs