Closed zerbina closed 2 months ago
Separate Context creation from translation (exprToIL). This is a prerequisite for incremental processing of modules.
Context
exprToIL
ModuleCtx
open
close
Literals
PackedTree
Summary
Separate
Context
creation from translation (exprToIL
). This is a prerequisite for incremental processing of modules.Details
Context
toModuleCtx
open
procedure creates a newModuleCtx
close
procedures finishes theModuleCtx
and yields the produced IL codeexprToIL
appends a proc toContext
and only returns the typeLiterals
can now be appended to directly, without aPackedTree
Context
now accumulates its ownLiterals
DB, instead of re-using that of the input tree(s)Notes For Reviewers