microsoft / Trieste

A term rewriting system for experimental programming language development.
MIT License
37 stars 20 forks source link

Modified error message model #101

Closed mjp41 closed 5 months ago

mjp41 commented 5 months ago

The refactor had introduced two parts to the error message printing. This consolidates them back to one.