git.iko.soy/ormolu
on e5d197f help sign in
ormolu/data/examples/declaration/value/function/lambda-multi-line1-out.hs
15 lines 264 B history raw
1foo :: a -> a -> a
2foo x = \y ->
3 x
5bar :: Int -> Int -> Int
6bar x = \y ->
7 if x > y
8 then 10
9 else 12
11foo =
12 prop "is inverse to closure"
13 $ \(f :: StaticPtr (Int -> Int))
14 (x :: Int) ->
15 (unclosure . closure) f x == deRefStaticPtr f x