liquidhaskell-0.9.0.2.1: tests/pos/Compare2.hs

module Compare2 () where

import Language.Haskell.Liquid.Prelude

foo x y
 | compare x y == EQ = liquidAssertB (x == y)
 | otherwise         = liquidAssertB (True)

prop = foo n m 
  where n = choose 0
        m = choose 1