aboutsummaryrefslogtreecommitdiff
path: root/src/boot/strap
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-12-27 08:39:14 +0000
committerdos-reis <gdr@axiomatics.org>2010-12-27 08:39:14 +0000
commitdbbc18b48695c2339520e9ba1e640f7559ff2e8a (patch)
tree60e4dede3670bef78ad74415620c313fc12eba88 /src/boot/strap
parent66c8612e257defa8e42bb7b50b0c88a73422e660 (diff)
downloadopen-axiom-dbbc18b48695c2339520e9ba1e640f7559ff2e8a.tar.gz
* boot/initial-env.lisp (IDENTP): Remove.
* boot/ast.boot: Replace IDENTP with symbol? where appropriate. * boot/parser.boot: Likewise. * boot/translator.boot: Likewise.
Diffstat (limited to 'src/boot/strap')
-rw-r--r--src/boot/strap/ast.clisp35
-rw-r--r--src/boot/strap/parser.clisp2
-rw-r--r--src/boot/strap/translator.clisp4
3 files changed, 22 insertions, 19 deletions
diff --git a/src/boot/strap/ast.clisp b/src/boot/strap/ast.clisp
index ba658ba5..e491f548 100644
--- a/src/boot/strap/ast.clisp
+++ b/src/boot/strap/ast.clisp
@@ -234,7 +234,8 @@
(DEFUN |compFluidize| (|x|)
(COND
- ((AND (IDENTP |x|) (|bfBeginsDollar| |x|)) (|compFluid| |x|))
+ ((NULL |x|) NIL)
+ ((AND (SYMBOLP |x|) (|bfBeginsDollar| |x|)) (|compFluid| |x|))
((ATOM |x|) |x|)
((AND (CONSP |x|) (EQ (CAR |x|) 'QUOTE)) |x|)
(T (CONS (|compFluidize| (CAR |x|)) (|compFluidize| (CDR |x|))))))
@@ -721,13 +722,13 @@
(DECLARE (SPECIAL |$letGenVarCounter|))
(RETURN
(COND
- ((IDENTP |lhs|) (|bfLetForm| |lhs| |rhs|))
+ ((SYMBOLP |lhs|) (|bfLetForm| |lhs| |rhs|))
((AND (CONSP |lhs|) (EQ (CAR |lhs|) 'FLUID)
(PROGN
(SETQ |ISTMP#1| (CDR |lhs|))
(AND (CONSP |ISTMP#1|) (NULL (CDR |ISTMP#1|)))))
(|bfLetForm| |lhs| |rhs|))
- ((AND (IDENTP |rhs|) (NOT (|bfCONTAINED| |rhs| |lhs|)))
+ ((AND (SYMBOLP |rhs|) (NOT (|bfCONTAINED| |rhs| |lhs|)))
(SETQ |rhs1| (|bfLET2| |lhs| |rhs|))
(COND
((AND (CONSP |rhs1|) (EQ (CAR |rhs1|) 'L%T))
@@ -735,16 +736,18 @@
((AND (CONSP |rhs1|) (EQ (CAR |rhs1|) 'PROGN))
(APPEND |rhs1| (LIST |rhs|)))
(T (COND
- ((IDENTP (CAR |rhs1|)) (SETQ |rhs1| (CONS |rhs1| NIL))))
+ ((SYMBOLP (CAR |rhs1|))
+ (SETQ |rhs1| (CONS |rhs1| NIL))))
(|bfMKPROGN| (APPEND |rhs1| (CONS |rhs| NIL))))))
((AND (CONSP |rhs|) (EQ (CAR |rhs|) 'L%T)
- (IDENTP (SETQ |name| (CADR |rhs|))))
+ (SYMBOLP (SETQ |name| (CADR |rhs|))))
(SETQ |l1| (|bfLET1| |name| (CADDR |rhs|)))
(SETQ |l2| (|bfLET1| |lhs| |name|))
(COND
((AND (CONSP |l2|) (EQ (CAR |l2|) 'PROGN))
(|bfMKPROGN| (CONS |l1| (CDR |l2|))))
- (T (COND ((IDENTP (CAR |l2|)) (SETQ |l2| (CONS |l2| NIL))))
+ (T (COND
+ ((SYMBOLP (CAR |l2|)) (SETQ |l2| (CONS |l2| NIL))))
(|bfMKPROGN| (CONS |l1| (APPEND |l2| (CONS |name| NIL)))))))
(T (SETQ |g|
(INTERN (CONCAT "LETTMP#"
@@ -756,7 +759,7 @@
((AND (CONSP |let1|) (EQ (CAR |let1|) 'PROGN))
(|bfMKPROGN| (CONS |rhs1| (CDR |let1|))))
(T (COND
- ((IDENTP (CAR |let1|))
+ ((SYMBOLP (CAR |let1|))
(SETQ |let1| (CONS |let1| NIL))))
(|bfMKPROGN|
(CONS |rhs1| (APPEND |let1| (CONS |g| NIL)))))))))))
@@ -773,8 +776,8 @@
(DECLARE (SPECIAL |$inDefIS| |$letGenVarCounter|))
(RETURN
(COND
- ((IDENTP |lhs|) (|bfLetForm| |lhs| |rhs|))
((NULL |lhs|) NIL)
+ ((SYMBOLP |lhs|) (|bfLetForm| |lhs| |rhs|))
((AND (CONSP |lhs|) (EQ (CAR |lhs|) 'FLUID)
(PROGN
(SETQ |ISTMP#1| (CDR |lhs|))
@@ -815,7 +818,7 @@
((AND (CONSP |l1|) (ATOM (CAR |l1|)))
(SETQ |l1| (CONS |l1| NIL))))
(COND
- ((IDENTP |var2|)
+ ((SYMBOLP |var2|)
(APPEND |l1|
(CONS (|bfLetForm| |var2|
(|addCARorCDR| 'CDR |rhs|))
@@ -1077,7 +1080,7 @@
(DEFUN |bfHas| (|expr| |prop|)
(COND
- ((IDENTP |prop|) (LIST 'GET |expr| (LIST 'QUOTE |prop|)))
+ ((SYMBOLP |prop|) (LIST 'GET |expr| (LIST 'QUOTE |prop|)))
(T (|bpSpecificErrorHere| "expected identifier as property name"))))
(DEFUN |bfApplication| (|bfop| |bfarg|)
@@ -1196,7 +1199,7 @@
(SETQ |bfVar#98| (CDR |bfVar#98|))))))))
(DEFUN |defQuoteId| (|x|)
- (AND (CONSP |x|) (EQ (CAR |x|) 'QUOTE) (IDENTP (CADR |x|))))
+ (AND (CONSP |x|) (EQ (CAR |x|) 'QUOTE) (SYMBOLP (CADR |x|))))
(DEFUN |bfSmintable| (|x|)
(OR (INTEGERP |x|)
@@ -1445,7 +1448,7 @@
(PROGN (SETQ |r| (CAR |ISTMP#2|)) T))))))
(LIST NIL NIL |l|
(|bfMKPROGN| (LIST (|bfLET| |r| |l|) |body|))))
- ((IDENTP |y|) (LIST NIL NIL |y| |body|))
+ ((SYMBOLP |y|) (LIST NIL NIL |y| |body|))
((AND (CONSP |y|) (EQ (CAR |y|) 'BVQUOTE)
(PROGN
(SETQ |ISTMP#1| (CDR |y|))
@@ -1546,7 +1549,7 @@
(DEFUN |shoeFluids| (|x|)
(COND
((NULL |x|) NIL)
- ((AND (IDENTP |x|) (|bfBeginsDollar| |x|)) (LIST |x|))
+ ((AND (SYMBOLP |x|) (|bfBeginsDollar| |x|)) (LIST |x|))
((ATOM |x|) NIL)
((AND (CONSP |x|) (EQ (CAR |x|) 'QUOTE)) NIL)
(T (APPEND (|shoeFluids| (CAR |x|)) (|shoeFluids| (CDR |x|))))))
@@ -1562,7 +1565,7 @@
(DECLARE (SPECIAL |$activeNamespace| |$constantIdentifiers|))
(RETURN
(COND
- ((AND (IDENTP |x|) (|bfBeginsDollar| |x|))
+ ((AND (SYMBOLP |x|) (|bfBeginsDollar| |x|))
(COND
((MEMQ |x| |$constantIdentifiers|) NIL)
((CONSTANTP |x|) NIL)
@@ -1600,7 +1603,7 @@
(PROGN (SETQ |r| (CAR |ISTMP#2|)) T))))))
(RPLACA |x| 'SETQ) (|shoeCompTran1| |r|)
(COND
- ((IDENTP |l|)
+ ((SYMBOLP |l|)
(COND
((NOT (|bfBeginsDollar| |l|))
(SETQ |$locVars|
@@ -1655,7 +1658,7 @@
(DECLARE (SPECIAL |$typings| |$op|))
(COND
((NULL |$op|) (|%Signature| |a| |b|))
- ((IDENTP |a|)
+ ((SYMBOLP |a|)
(COND
((EQ |b| 'FLUID) (|bfLET| (|compFluid| |a|) NIL))
((EQ |b| '|fluid|) (|bfLET| (|compFluid| |a|) NIL))
diff --git a/src/boot/strap/parser.clisp b/src/boot/strap/parser.clisp
index 77744484..7b978080 100644
--- a/src/boot/strap/parser.clisp
+++ b/src/boot/strap/parser.clisp
@@ -1221,7 +1221,7 @@
(AND (CONSP |ISTMP#2|)
(NULL (CDR |ISTMP#2|))
(PROGN (SETQ |r| (CAR |ISTMP#2|)) T)))))
- (IDENTP |l|))
+ (SYMBOLP |l|))
(COND
(|$InteractiveMode| (LIST (LIST 'SETQ |l| |r|)))
(T (LIST (LIST 'DEFPARAMETER |l| |r|)))))
diff --git a/src/boot/strap/translator.clisp b/src/boot/strap/translator.clisp
index e96bf98a..c941265d 100644
--- a/src/boot/strap/translator.clisp
+++ b/src/boot/strap/translator.clisp
@@ -920,7 +920,7 @@
(COND
((ATOM |y|)
(COND
- ((IDENTP |y|)
+ ((SYMBOLP |y|)
(SETQ |$used|
(COND
((MEMQ |y| |e|) |$used|)
@@ -1148,7 +1148,7 @@
(COND
((ATOM |x|)
(COND
- ((IDENTP |x|)
+ ((SYMBOLP |x|)
(COND
((EQUAL (SYMBOL-PACKAGE |x|) |bt|) (INTERN (PNAME |x|) |pk|))
(T |x|)))