polarity-lang / polarity

A Language with Dependent Data and Codata Types
https://polarity-lang.github.io
Apache License 2.0
50 stars 0 forks source link

Eliminate the `syntax::common` namespace #256

Closed BinderDavid closed 3 months ago

BinderDavid commented 3 months ago

The syntax::common is the only thing that remains from when we had separate tst and ast and cst namespaces in the syntax module. There was very little code left in common, which has a more logical place in the ast namespace.

Also:

In all, this is just the last cleanup from the reorganization of the syntax crate.