aboutsummaryrefslogtreecommitdiff
path: root/src/interp/c-util.boot
diff options
context:
space:
mode:
Diffstat (limited to 'src/interp/c-util.boot')
-rw-r--r--src/interp/c-util.boot10
1 files changed, 7 insertions, 3 deletions
diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot
index 9ac95081..af95339b 100644
--- a/src/interp/c-util.boot
+++ b/src/interp/c-util.boot
@@ -145,17 +145,18 @@ macro domainData d ==
structure %CompilationData ==
Record(subst: %Substitution,idata: %Substitution,bytes: List %Fixnum,
- shell: %Vector %Thing,
- items: %Buffer %Pair(%SourceEntity,%Elaboration)) with
+ shell: %Vector %Thing, items: %Buffer %Pair(%SourceEntity,%Code),
+ output: %OutputStream) with
cdSubstitution == (.subst)
cdImplicits == (.idata)
cdBytes == (.bytes)
cdShell == (.shell)
cdItems == (.items)
+ cdOutput == (.output)
++ Make a fresh compilation data structure.
makeCompilationData() ==
- mk%CompilationData(nil,nil,nil,nil,[nil,:0])
+ mk%CompilationData(nil,nil,nil,nil,[nil,:0],nil)
++ Subsitution that replaces parameters with formals.
macro dbFormalSubst db ==
@@ -195,6 +196,9 @@ macro dbUsedEntities db ==
macro dbEntityCount db ==
rest dbEntityBuffer db
+macro dbOutputStream db ==
+ cdOutput dbCompilerData db
+
++ Return the existential substitution of `db'.
dbQuerySubst db ==
x := dbImplicitData db => first x