liquidhaskell-0.9.0.2.1: tests/neg/State00.hs
{-@ LIQUID "--expect-any-error" @-}
module State00 () where
type State = Int
data ST a b = S (a -> (a, b)) | F a
{-@ fresh :: ST Int {v:Int|v>=0} @-}
fresh :: ST Int Int
fresh = S $ \n -> (n, n+1)
{-@ LIQUID "--expect-any-error" @-}
module State00 () where
type State = Int
data ST a b = S (a -> (a, b)) | F a
{-@ fresh :: ST Int {v:Int|v>=0} @-}
fresh :: ST Int Int
fresh = S $ \n -> (n, n+1)