git.iko.soy/rowtype-yoga/purescript-backend-optimizer
on main help sign in
23 lines 431 B history raw
1module Snapshot.DefaultRulesFunction01 where
3import Prelude
5type F = forall a b c. a -> b -> c
7test1 :: F -> F -> Unit -> Unit
8test1 f g a = f 1 $ g "foo" $ a
10test2 :: F -> F -> Unit -> Unit
11test2 f g a = a # g "foo" # f 1
13test3 :: F -> F -> Unit -> Unit
14test3 f g _ = flip f 3 $ flip g 2 1
16test4 :: F -> F
17test4 f = flip f
19test5 :: forall a b. a -> b -> a
20test5 a = const a
22test6 :: forall a. a -> a
23test6 = flip const 42