liquidhaskell-0.4.0.0: tests/pos/zipW1.hs
module T () where
import Language.Haskell.Liquid.Prelude (safeZipWith)
{-@ assert foo :: (a -> b -> c) -> xs : [a] -> ys:{v:[b] | len(v) = len(xs)} -> {v : [c] | len(v) = len(xs)} @-}
foo = safeZipWith
module T () where
import Language.Haskell.Liquid.Prelude (safeZipWith)
{-@ assert foo :: (a -> b -> c) -> xs : [a] -> ys:{v:[b] | len(v) = len(xs)} -> {v : [c] | len(v) = len(xs)} @-}
foo = safeZipWith