Error `T-017` (unsolved metavariables) is not located correctly

polarity-lang / polarity

A Language with Dependent Data and Codata Types

https://polarity-lang.github.io

Apache License 2.0

57 stars 2 forks source link

Error `T-017` (unsolved metavariables) is not located correctly #362

Closed BinderDavid closed 6 days ago

BinderDavid commented 2 weeks ago

When we have unsolved metavariables (T-017) the error messages are very bad. Examples of this error can be found in 006.pol and 007.pol in the fail-check suite.