Add module uris to identifiers

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

Closed timsueberkrueb closed 2 weeks ago

timsueberkrueb commented 1 month ago

In https://github.com/polarity-lang/polarity/pull/331, the lookup functions loop over all open files, which is wrong. Instead, we should attach module uris to all identifiers.