on b3f6e1b help sign in
22 lines 412 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