liquidhaskell-0.8.0.2: tests/errors/BadAnnotation1.hs

module Zoo where

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