liquidhaskell-0.9.0.2.1: tests/pos/Poly4.hs

module Poly4 () where

import Language.Haskell.Liquid.Prelude

x     = choose 0

baz y = y

prop  = liquidAssertB (baz True)