diff options
author | dos-reis <gdr@axiomatics.org> | 2008-10-01 20:37:15 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-10-01 20:37:15 +0000 |
commit | 640c78ea50adf4d902e66c7788ba384111b338d4 (patch) | |
tree | 2ed286c007918c03ff2d675f10933d8af38c2b81 /src/interp/i-intern.boot | |
parent | ea832606b8ad21eb020bc71dbc98427a8068ca3e (diff) | |
download | open-axiom-640c78ea50adf4d902e66c7788ba384111b338d4.tar.gz |
* algebra/mkfunc.spad.pamphlet (InputForm): Remove local mkProperOp.
(compile$InputForm): Tidy.
* algebra/boolean.spad.pamphlet (setelt$IndexedBits): A bit is
not a Boolean.
* interp/i-intern.boot (mkAtreeForToken): New.
Diffstat (limited to 'src/interp/i-intern.boot')
-rw-r--r-- | src/interp/i-intern.boot | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/interp/i-intern.boot b/src/interp/i-intern.boot index 055fc160..11ff1a4a 100644 --- a/src/interp/i-intern.boot +++ b/src/interp/i-intern.boot @@ -517,3 +517,12 @@ transformCollect [:itrl,body] == it is ["|",pred] => nil [:iterList,bodyTree] +--% + +++ Make a VAT for the symbol `x' and collect all known information +++ about `x' in the current environment into the new VAT. +++ Note: This routine is used in the algebra interface to the interpreter. +mkAtreeForToken: %Symbol -> %Shell +mkAtreeForToken x == + t := mkAtreeNode x + transferPropsToNode(x,t) |