From 8b5e8f350ff08fee34e36f51db5f73e859e2aa7e Mon Sep 17 00:00:00 2001 From: dos-reis Date: Tue, 27 Oct 2009 10:21:04 +0000 Subject: --- src/interp/functor.boot | 22 ---------------------- 1 file changed, 22 deletions(-) (limited to 'src') 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 -- cgit v1.2.3