liquidhaskell-0.9.0.2.1: tests/neg/Baz.hs

{-@ LIQUID "--expect-any-error" @-}
{-@ LIQUID "--short-names" @-}

module Baz where

{-@ incr :: x:Int -> {v:Int | v < x } @-}
incr   :: Int -> Int
incr xana = id $ xana + 1


{-@ iincr :: x:Int -> {v:Int | v < x } @-}
iincr   :: Int -> Int
iincr x = x + 1