diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-10-27 10:21:04 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-10-27 10:21:04 +0000 |
| commit | 8b5e8f350ff08fee34e36f51db5f73e859e2aa7e (patch) | |
| tree | d9e559da5f0f989db1f551b4d9497154d208bc3f /src | |
| parent | b8c7060a72642d8b42d063c6d1d99c1c237ed652 (diff) | |
| download | open-axiom-8b5e8f350ff08fee34e36f51db5f73e859e2aa7e.tar.gz | |
Diffstat (limited to 'src')
| -rw-r--r-- | src/interp/functor.boot | 22 |
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 |