liquidhaskell-0.9.0.2.1: tests/neg/Fail1.hs
{-@ LIQUID "--expect-any-error" @-}
module Fail1 where
-- This should fail because the failing incr is SAFE
{-@ fail incr @-}
{-@ incr :: x:Int -> {v:Int | x < v } @-}
incr :: Int -> Int
incr x = x + 1
{-@ LIQUID "--expect-any-error" @-}
module Fail1 where
-- This should fail because the failing incr is SAFE
{-@ fail incr @-}
{-@ incr :: x:Int -> {v:Int | x < v } @-}
incr :: Int -> Int
incr x = x + 1