liquidhaskell-0.8.0.2: tests/errors/BadAnnotation.hs

module Zoo where

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