summaryrefslogtreecommitdiff
path: root/testsuite/tests/deSugar/should_compile/T16615.hs
blob: 9a81b69bc7ee768c8fe26be7b99814f323eaa647 (plain)
1
2
3
4
5
6
7
8
module T16615
where

f :: Int -> Bool
f i = if i == 0 then True else g (pred i)

g :: Int -> Bool
g i = if i == 0 then False else f (pred i)