module ErrLocation where {-@ inc :: Nat -> Nat @-} inc :: Int -> Int inc x = x + 1 bar :: Int -> Int bar x = inc (x - 1)