Fix usererror illformed block

tnelson / Forge

Forge: A Tool and Language for Teaching Formal Methods

https://forge-fm.org/

MIT License

67 stars 9 forks source link

Closed tnelson closed 9 months ago

tnelson commented 9 months ago

More error-message improvements.

raise-forge-error now reports span in addition to row and column.