diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-09-26 13:49:18 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-09-26 13:49:18 +0000 |
| commit | 91bd7571dc0baf8d17047d553e4616dd587c0ffb (patch) | |
| tree | 2e2a2eb23ff2cb76b6eb3ae763a480ac1f0078ad /src/interp/wi1.boot | |
| parent | 868f1d56a5bcd7d712855e98085e0e15d32a3264 (diff) | |
| download | open-axiom-91bd7571dc0baf8d17047d553e4616dd587c0ffb.tar.gz | |
* interp/: More cleanup.
Diffstat (limited to 'src/interp/wi1.boot')
| -rw-r--r-- | src/interp/wi1.boot | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/interp/wi1.boot b/src/interp/wi1.boot index e182ef82..6e0ed234 100644 --- a/src/interp/wi1.boot +++ b/src/interp/wi1.boot @@ -265,11 +265,11 @@ compNoStacking(xOrig,m,e) == markKillAllRecursive x == x is [op,:r] => --->op = 'PART => markKillAllRecursive second r - op = 'PART => ['PART, CAR r, markKillAllRecursive second r] + op = 'PART => ['PART, first r, markKillAllRecursive second r] ----------------------------------------------------------94/10/11 constructor? op => markKillAll x - op = 'elt and constructor? opOf CAR r => - ['elt,markKillAllRecursive CAR r,second r] + op = 'elt and constructor? opOf first r => + ['elt,markKillAllRecursive first r,second r] x x @@ -593,7 +593,7 @@ setqSingle(id,val,m,E) == else form:= $QuickLet => ["%LET",id,x] ["%LET",id,x, - (isDomainForm(x,e') => ['ELT,id,0];CAR outputComp(id,e'))] + (isDomainForm(x,e') => ['ELT,id,0];first outputComp(id,e'))] [form,m',e'] setqMultiple(nameList,val,m,e) == @@ -1214,7 +1214,7 @@ compDefineCategory2(form,signature,specialCases,body,m,e, formals:=actuals:=nil for u in $extraParms repeat formals:=[CAR u,:formals] - actuals:=[MKQ CDR u,:actuals] + actuals:=[MKQ rest u,:actuals] body := ['sublisV,['PAIR,['QUOTE,formals],['LIST,:actuals]],body] if argl then body:= -- always subst for args after extraparms ['sublisV,['PAIR,['QUOTE,sargl],['LIST,: |