liquidhaskell-0.9.0.2.1: tests/pos/NoExhaustiveGuardsError.hs

module NoExhaustiveGuardsError where

{-@ LIQUID "--no-totality" @-}
bar :: Int -> Int -> Int
bar x y | x >  y = 1
        | x <= y = 0