Missing line numbers in error messages

[lambdacalculator]

Using 2.0.3, I notice that a couple of error messages do not provide information on either the offending source file or line and character numbers:

• Error: Failure("Unknown constant: ??")
• Error: Failure("Illegal character ?? in input")

There may be other error message (as I seem to recall) that also do not report source file/line numbers.

[chaudhuri]

Thanks for the report. Unfortunately Abella does not keep source positions in the AST currently. This has been on my list of things to add for a while. Let me take another stab at it.

Caveat: it may come after the impending 2.0.4 release.

[lambdacalculator]

But Abella does report line numbers and character ranges on other types of errors, such as syntax errors and typing errors.