smucclaw / lam4

A functional (and hopefully in the near future, solver-aided) DSL for the law
MIT License
2 stars 0 forks source link

Improve Langium parser errors #55

Open ym-han opened 3 weeks ago

ym-han commented 3 weeks ago

Might also be worth asking Inari what kinds of error messages she thinks would be helpful.

Also, helpful note from https://github.com/eclipse-langium/langium/discussions/1045 -- it's better for the grammar to be more permissive; validators can be used to rein in undesired generations and provide better error messages