Closed krame505 closed 10 months ago
feature/explicit-dec is being abandoned, pending #812 (and AST-based refactoring via #800.) Here are a few changes mined from that branch.
Note that this will require updating the Silver VS Code extension due to the change making BuildEnv a data nonterminal with annotations.
BuildEnv
All internal refactoring - comments updated as appropriate.
Tested via Jenkins, no new test cases needed.
Changes
feature/explicit-dec is being abandoned, pending #812 (and AST-based refactoring via #800.) Here are a few changes mined from that branch.
Note that this will require updating the Silver VS Code extension due to the change making
BuildEnv
a data nonterminal with annotations.Documentation
All internal refactoring - comments updated as appropriate.
Testing
Tested via Jenkins, no new test cases needed.