diff options
author | dos-reis <gdr@axiomatics.org> | 2013-05-28 22:55:52 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-05-28 22:55:52 +0000 |
commit | 73af2d0d8b8c4aa1b009dc85f616915fe2cc8eff (patch) | |
tree | 18e0b5a72426f149b0220c79dac1e3b20042e62e /src/interp/c-util.boot | |
parent | bb3bdc23078450f1d3daa2e60d4068c17371b2ac (diff) | |
download | open-axiom-73af2d0d8b8c4aa1b009dc85f616915fe2cc8eff.tar.gz |
Remove special variable $libFile
Diffstat (limited to 'src/interp/c-util.boot')
-rw-r--r-- | src/interp/c-util.boot | 10 |
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 |