liquidhaskell-0.4.0.0: tests/pos/poly4.hs

module Poly4 () where

import Language.Haskell.Liquid.Prelude

x     = choose 0

baz y = y

prop  = liquidAssertB (baz True)