git.iko.soy/ormolu
on e598b72 help sign in
ormolu/data/examples/declaration/value/function/lambda-multi-line.hs
28 lines 584 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
11tricky0 =
12 flip all (zip ws gs) $ \(wt, gt) ->
13 canUnify poly_given_ok wt gt || go False wt gt
15tricky1 =
16 flip all (zip ws gs) $
17 \(wt, gt) -> canUnify poly_given_ok wt gt || go False wt gt
19tricky2 =
20 flip all (zip ws gs) $
21 \(wt, gt) ->
22 canUnify poly_given_ok wt gt || go False wt gt
24foo =
25 prop "is inverse to closure" $ \(f :: StaticPtr (Int -> Int))
26 (x :: Int) ->
27 (unclosure . closure) f x == deRefStaticPtr f x