diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-05-09 21:36:45 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-05-09 21:36:45 +0000 |
| commit | 3d51abbf17fa58fadbfa59757f50908488f6f9d9 (patch) | |
| tree | 7fd28af0acab689ee3cc00bd31550ab61ce842d4 /src/boot | |
| parent | c758c27852f049e021da8855a290dd876e3b7050 (diff) | |
| download | open-axiom-3d51abbf17fa58fadbfa59757f50908488f6f9d9.tar.gz | |
More cleanups
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/ast.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/boot/ast.boot b/src/boot/ast.boot index 263108e1..3ad7d4d8 100644 --- a/src/boot/ast.boot +++ b/src/boot/ast.boot @@ -475,7 +475,7 @@ bfSUBLIS1(p,e)== p = nil => e f := first p EQ(first f,e) => bfSUBLIS(p, rest f) - bfSUBLIS1(cdr p,e) + bfSUBLIS1(rest p,e) defSheepAndGoats(x)== case x of @@ -531,7 +531,7 @@ bfLET1(lhs,rhs) == bfCONTAINED(x,y)== EQ(x,y) => true atom y=> false - bfCONTAINED(x,car y) or bfCONTAINED(x,cdr y) + bfCONTAINED(x,first y) or bfCONTAINED(x,rest y) bfLET2(lhs,rhs) == IDENTP lhs => bfLetForm(lhs,rhs) @@ -901,7 +901,7 @@ shoeCompTran1 x== MEMQ(x,$dollarVars)=>$dollarVars [x,:$dollarVars] nil - U:=car x + U:=first x U = "QUOTE" => nil x is ["L%T",l,r] => x.first := "SETQ" |