liquidhaskell-0.9.0.2.1: tests/pos/Test00c.hs

module Test00c () where

import Language.Haskell.Liquid.Prelude

getEqs x ys = filter (x ==) ys 

xs :: [Int]
xs = [1, 2, 3, 4, 5, 6]

prop_abs = map (\z -> liquidAssertB (z >= 0)) ys
             where ys = getEqs 5 xs