liquidhaskell-0.4.0.0: tests/neg/TopLevel.hs

module TopLevel where

import Language.Haskell.Liquid.Prelude

foo b = liquidAssertB b

bar = foo True