liquidhaskell-0.4.0.0: tests/pos/LocalSpecImp.hs

module LocalSpecImp where

import LocalSpec0

{-@ bar :: {x:Int | x > 99} -> {v:Int | v > 100 } @-}
bar :: Int -> Int
bar x = foo x