liquidhaskell-0.9.0.2.1: tests/pos/Meas1.hs

module Meas1 () where

import Control.Applicative
import Language.Haskell.Liquid.Prelude

goo x = [x]

xs = goo (choose 0)

nullity :: [a] -> Int
nullity []    = 0
nullity (x:_) = 1

prop2 = liquidAssertB (1 == nullity xs)