search

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 (2/n) #305

Closed BinderDavid closed 2 months ago

BinderDavid commented 2 months ago

Create one separate module which builds the lookup table from the CST.

I inlined the add function so that I can generate better errors directly in the build code.

timsueberkrueb commented 2 months ago

One general comment: We might want to rename LookupTable to SymbolTable which is more precise.