You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
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:
There may be other error message (as I seem to recall) that also do not report source file/line numbers.
The text was updated successfully, but these errors were encountered: