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

Reimplement multi module lowering (1/n) #303

Closed BinderDavid closed 2 months ago

BinderDavid commented 2 months ago

First step of reimplementing the logic for multi-module lowering. The logic for combining multiple lowering lookup tables should reside in the driver, not in the lowering module.