diff options
Diffstat (limited to 'src/interp/c-util.boot')
-rw-r--r-- | src/interp/c-util.boot | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot index bd1566da..20230eb9 100644 --- a/src/interp/c-util.boot +++ b/src/interp/c-util.boot @@ -131,6 +131,24 @@ macro domainPredicates d == macro domainData d == domainRef(d,4) +--% +--% Constructor Compilation Data. +--% Operational Semantics: +--% structure CompilationData == +--% Record(formalSubst: Substitution) +--% + +++ Make a fresh compilation data structure. +makeCompilationData() == + [nil] + +macro dbFormalSubst db == + first dbCompilerData db + +++ Apply the formal substitution or `db'to th form `x'. +dbSubstituteFormals(db,x) == + applySubst(dbFormalSubst db,x) + --% $SetCategory == '(SetCategory) |