aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-10-27 10:21:04 +0000
committerdos-reis <gdr@axiomatics.org>2009-10-27 10:21:04 +0000
commit8b5e8f350ff08fee34e36f51db5f73e859e2aa7e (patch)
treed9e559da5f0f989db1f551b4d9497154d208bc3f /src
parentb8c7060a72642d8b42d063c6d1d99c1c237ed652 (diff)
downloadopen-axiom-8b5e8f350ff08fee34e36f51db5f73e859e2aa7e.tar.gz
Diffstat (limited to 'src')
-rw-r--r--src/interp/functor.boot22
1 files changed, 0 insertions, 22 deletions
diff --git a/src/interp/functor.boot b/src/interp/functor.boot
index 06b14c50..99b45a8c 100644
--- a/src/interp/functor.boot
+++ b/src/interp/functor.boot
@@ -300,36 +300,14 @@ cons5(p,l) ==
RPLACD(QCDDDDR l,nil)
[p,:l]
--- TrimEnvironment e ==
--- [TrimLocalEnvironment u for u in e] where
--- TrimLocalEnvironment e ==
--- [TrimContour u for u in e] where
--- TrimContour e ==
--- [u for u in e | Interesting u] where Interesting u == nil
--- --clearly a temporary definition
-
setVector0(catNames,definition) ==
--returns code to set element 0 of the vector
--to the definition of the category
definition:= mkTypeForm definition
--- If we call addMutableArg this early, then recurise calls to this domain
--- (e.g. while testing predicates) will generate new domains => trouble
---definition:= addMutableArg mkTypeForm definition
for u in catNames repeat
definition:= ["setShellEntry",u,0,definition]
definition
---presence of GENSYM in arg-list differentiates mutable-domains
--- addMutableArg nameFormer ==
--- $mutableDomain =>
--- nameFormer is ['LIST,:.] => [:nameFormer, '(GENSYM)]
--- ['APPEND,nameFormer,'(LIST (GENSYM))]
--- nameFormer
-
---getname D ==
--- isDomain D or isCategory D => D.0
--- D
-
setVector12 args ==
--The purpose of this function is to replace place holders
--e.g. argument names or gensyms, by real values