git.iko.soy/ormolu
on d02483a help sign in
ormolu/data/examples/declaration/value/function/lambda-multi-line1.hs
14 lines 253 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" $ \(f :: StaticPtr (Int -> Int))
13 (x :: Int) ->
14 (unclosure . closure) f x == deRefStaticPtr f x