search

microsoft / Trieste

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

Prevent rewriting a term that contains an error. #106

Closed mjp41 closed 4 months ago

mjp41 commented 4 months ago

@matajoh @sylvanc not sure if we want this change in semantics. It would fix

https://github.com/microsoft/verona/pulls/#667

without requiring code changes.

It would make it impossible to explicitly match an Error node.

matajoh commented 4 months ago

I think this is a small price to pay for avoiding various issues caused by inadvertently matching errors.