liquidhaskell-0.8.6.0: tests/pos/LocalSpecLib.hs

module LocalSpecLib (foo) where

{-@ foo :: x:Int -> {v:Int | v > x } @-}
foo :: Int -> Int
foo x =  go x

{-@ go :: n:Int -> {v:Int | v = n + 1} @-}
go :: Int -> Int
go x = x + 1