liquidhaskell-0.9.0.2.1: tests/errors/ErrLocation.hs
{-@ LIQUID "--expect-error-containing=ErrLocation.hs:10:13" @-}
module ErrLocation where
{-@ inc :: Nat -> Nat @-}
inc :: Int -> Int
inc x = x + 1
bar :: Int -> Int
bar x = inc (x - 1)
{-@ LIQUID "--expect-error-containing=ErrLocation.hs:10:13" @-}
module ErrLocation where
{-@ inc :: Nat -> Nat @-}
inc :: Int -> Int
inc x = x + 1
bar :: Int -> Int
bar x = inc (x - 1)