[BUG] Merging entrenched errors at different depths drops entrenchment level

j-mie6 / parsley

A fast and modern parser combinator library for Scala

https://j-mie6.github.io/parsley/

BSD 3-Clause "New" or "Revised" License

173 stars 15 forks source link

[BUG] Merging entrenched errors at different depths drops entrenchment level #226

Closed j-mie6 closed 5 months ago

j-mie6 commented 7 months ago

When two errors merged and one is entrenched and the other is not, merging will drop any entrenchment, losing the protection of the error. Instead merged errors need to take the max of the entrenchment level.