liquidhaskell-0.4.0.0: tests/neg/NoExhaustiveGuardsError.hs

module Foo where

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