Reimplement multi module lowering (3/n)

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 BinderDavid closed 2 months ago

BinderDavid commented 2 months ago

This is the last step of centralizing the lookup logic in lowering to the lowering::lookup_table::lookup module.