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