diff options
Diffstat (limited to 'src/interp/c-util.boot')
-rw-r--r-- | src/interp/c-util.boot | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot index 3480c03b..a5369444 100644 --- a/src/interp/c-util.boot +++ b/src/interp/c-util.boot @@ -135,12 +135,13 @@ macro domainData d == --% Constructor Compilation Data. --% Operational Semantics: --% structure CompilationData == ---% Record(formalSubst: Substitution,implicits: List Identifier) +--% Record(formalSubst: Substitution,implicits: List Identifier, +--% byteList: List SingleInteger) --% ++ Make a fresh compilation data structure. makeCompilationData() == - [nil,nil] + [nil,nil,nil] ++ Subsitution that replaces parameters with formals. macro dbFormalSubst db == @@ -156,6 +157,11 @@ dbParameters db == macro dbImplicitData db == second dbCompilerData db +++ Return the list of encoding bytes for a function during elaboration. +++ Transcient data. +macro dbByteList db == + third dbCompilerData db + ++ Return the existential substitution of `db'. dbQuerySubst db == x := dbImplicitData db => first x |