Statement parse errors now refer to spans

metamath / metamath-knife

Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.

Apache License 2.0

25 stars 9 forks source link

Statement parse errors now refer to spans #80

Closed tirix closed 2 years ago

tirix commented 2 years ago

This is a follow-up to my previous changes regarding parsing Metamath statements from a string. The StmtParseError generated in that case now refer to spans in that string, rather than an index in the math tokens. This makes error handling easier.