liquidhaskell-0.4.0.0: tests/pos/StreamInvariants.hs

module Invariant where

{-@ using [a] as {v : [a] | (len v) > 0 } @-}


xs = repeat 1

add x xs = x:xs

bar xs = head xs
foo xs = tail xs