liquidhaskell-0.9.0.2.1: tests/neg/NoExhaustiveGuardsError.hs
{-@ LIQUID "--expect-any-error" @-}
module NoExhaustiveGuardsError where
bar :: Int -> Int -> Int
bar x y | x > y = 1
| x == y = 0
{-@ LIQUID "--expect-any-error" @-}
module NoExhaustiveGuardsError where
bar :: Int -> Int -> Int
bar x y | x > y = 1
| x == y = 0