2 releases
0.1.1 | Dec 28, 2022 |
---|---|
0.1.0 | Dec 11, 2022 |
#766 in Programming languages
21 downloads per month
Used in rush-interpreter-vm
200KB
5K
SLoC
Semantic Analyzer
A crate which performs semantic analysis and tree-annotation on rush programs.
Almost every rush compiler backend requires the semantic correctness of its input tree. Furthermore, the backends often require precise type information at compile time in order to compile the correct output.
Therefore, the analyzer traverses an
AST generated by the
rush-parser
and adds type information whilst validating its semantic correctness.
This way, many compiler backends can be significantly simplified due to the lack of unnecessary checks during program compilation.