diff options
author | dos-reis <gdr@axiomatics.org> | 2011-08-05 16:42:50 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-08-05 16:42:50 +0000 |
commit | 207c5a13c6987ad88975c35006d16c74d0e58e1a (patch) | |
tree | 9c15509f1153868e6df6210cca98dffb84ea7000 /src/boot/strap | |
parent | 2a4baaa2a295381d6c37ec2fc7c3f7ec8fd089cf (diff) | |
download | open-axiom-207c5a13c6987ad88975c35006d16c74d0e58e1a.tar.gz |
cleanup
Diffstat (limited to 'src/boot/strap')
-rw-r--r-- | src/boot/strap/ast.clisp | 40 | ||||
-rw-r--r-- | src/boot/strap/parser.clisp | 2 | ||||
-rw-r--r-- | src/boot/strap/translator.clisp | 8 |
3 files changed, 23 insertions, 27 deletions
diff --git a/src/boot/strap/ast.clisp b/src/boot/strap/ast.clisp index 03b0b55f..3c4e2be5 100644 --- a/src/boot/strap/ast.clisp +++ b/src/boot/strap/ast.clisp @@ -189,8 +189,7 @@ (DECLAIM (FTYPE (FUNCTION (|%Thing|) |%Thing|) |bfSymbol|)) -(DEFUN |bfSymbol| (|x|) - (COND ((STRINGP |x|) |x|) (T (LIST 'QUOTE |x|)))) +(DEFUN |bfSymbol| (|x|) (COND ((STRINGP |x|) |x|) (T (|quote| |x|)))) (DECLAIM (FTYPE (FUNCTION NIL |%Symbol|) |bfDot|)) @@ -1146,7 +1145,7 @@ (DEFUN |bfHas| (|expr| |prop|) (COND - ((SYMBOLP |prop|) (LIST 'GET |expr| (LIST 'QUOTE |prop|))) + ((SYMBOLP |prop|) (LIST 'GET |expr| (|quote| |prop|))) (T (|bpSpecificErrorHere| "expected identifier as property name")))) (DEFUN |bfApplication| (|bfop| |bfarg|) @@ -1240,7 +1239,7 @@ (SETQ |ISTMP#2| (CAR |ISTMP#1|)) (AND (CONSP |ISTMP#2|) (NULL (CDR |ISTMP#2|)) (PROGN (SETQ |x| (CAR |ISTMP#2|)) T)))))) - (LIST 'EQ |var| (LIST 'QUOTE |x|))) + (LIST 'EQ |var| (|quote| |x|))) (T (LIST '|symbolMember?| |var| |seq|)))) ((|idList?| |seq|) (COND @@ -1493,16 +1492,14 @@ (RETURN |bfVar#7|)) ((NULL |bfVar#7|) (SETQ |bfVar#7| - #2=(CONS (LIST 'CONS (LIST 'QUOTE |i|) |j|) - NIL)) + #2=(CONS (LIST 'CONS (|quote| |i|) |j|) NIL)) (SETQ |bfVar#8| |bfVar#7|)) (T (RPLACD |bfVar#8| #2#) (SETQ |bfVar#8| (CDR |bfVar#8|)))) (SETQ |bfVar#5| (CDR |bfVar#5|)) (SETQ |bfVar#6| (CDR |bfVar#6|))))) (SETQ |body| - (LIST '|applySubst| (CONS 'LIST |sb2|) - (LIST 'QUOTE |body|))) + (LIST '|applySubst| (CONS 'LIST |sb2|) (|quote| |body|))) (SETQ |lamex| (LIST 'MLAMBDA |gargl| |body|)) (SETQ |def| (LIST |op| |lamex|)) (CONS (|shoeComp| |def|) @@ -1537,7 +1534,7 @@ (COND ((EQ (CAR |argl|) '&REST) (LIST (CONS (CAR |argl|) |b|) |b| |c| - (CONS (LIST 'CONS (LIST 'QUOTE 'LIST) (CAR |d|)) + (CONS (LIST 'CONS (|quote| 'LIST) (CAR |d|)) (CDR |d|)))) (T (SETQ |f| (|bfGenSymbol|)) (LIST (CONS |f| |a|) (CONS |f| |b|) @@ -1573,9 +1570,9 @@ (LIST (LIST |innerfunc| (LIST 'LAMBDA |args| |body|)) (LIST |op| (LIST 'MLAMBDA (LIST '&REST |margs|) - (LIST 'CONS (LIST 'QUOTE |innerfunc|) + (LIST 'CONS (|quote| |innerfunc|) (LIST 'WRAP |margs| - (LIST 'QUOTE |control|)))))))))) + (|quote| |control|)))))))))) (DEFUN |bfDef| (|op| |args| |body|) (PROG (|body1| |arg1| |op1| |LETTMP#1|) @@ -2215,19 +2212,18 @@ (SETQ |cacheType| '|hash-table|) (SETQ |cacheResetCode| (LIST 'SETQ |cacheName| - (LIST 'MAKE-HASHTABLE (LIST 'QUOTE 'UEQUAL)))) + (LIST 'MAKE-HASHTABLE (|quote| 'UEQUAL)))) (SETQ |cacheCountCode| (LIST '|hashCount| |cacheName|)) (SETQ |cacheVector| (LIST |op| |cacheName| |cacheType| |cacheResetCode| |cacheCountCode|)) (SETQ |defCode| (LIST 'DEFPARAMETER |cacheName| - (LIST 'MAKE-HASHTABLE (LIST 'QUOTE 'UEQUAL)))) + (LIST 'MAKE-HASHTABLE (|quote| 'UEQUAL)))) (LIST |defCode| |mainFunction| (LIST 'SETF - (LIST 'GET (LIST 'QUOTE |op|) - (LIST 'QUOTE '|cacheInfo|)) - (LIST 'QUOTE |cacheVector|))))))) + (LIST 'GET (|quote| |op|) (|quote| '|cacheInfo|)) + (|quote| |cacheVector|))))))) (DEFUN |bfNamespace| (|x|) (LIST '|%Namespace| |x|)) @@ -2254,7 +2250,7 @@ (RETURN (COND ((AND (CONSP |x|) (NULL (CDR |x|))) (SETQ |f| (CAR |x|)) - (LIST 'DEFCONSTANT |f| (LIST 'LIST (LIST 'QUOTE |f|)))) + (LIST 'DEFCONSTANT |f| (LIST 'LIST (|quote| |f|)))) (T (SETQ |a| (LET ((|bfVar#2| NIL) (|bfVar#3| NIL) (|bfVar#1| (CDR |x|)) (|i| NIL)) @@ -2270,7 +2266,7 @@ (SETQ |bfVar#3| (CDR |bfVar#3|)))) (SETQ |bfVar#1| (CDR |bfVar#1|))))) (LIST 'DEFUN (CAR |x|) |a| - (LIST 'CONS (LIST 'QUOTE (CAR |x|)) (CONS 'LIST |a|)))))))) + (LIST 'CONS (|quote| (CAR |x|)) (CONS 'LIST |a|)))))))) (DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing|) |%Form|) |bfCaseItem|)) @@ -2410,8 +2406,8 @@ (SETQ |hs'| (CDR |hs|)) (SETQ |t| (COND - ((SYMBOLP |t|) (LIST 'QUOTE (LIST |t|))) - (T (LIST 'QUOTE |t|)))) + ((SYMBOLP |t|) (|quote| (LIST |t|))) + (T (|quote| |t|)))) (|bfHandlers,main| |n| |e| |hs'| (CONS (LIST (|bfQ| (LIST 'CAR |e|) |t|) (LIST 'LET (LIST (LIST |v| (LIST 'CDR |e|))) @@ -2474,8 +2470,8 @@ (T (SETQ |t| '|SystemException|) (SETQ |x| |e|))) (SETQ |t| (COND - ((SYMBOLP |t|) (LIST 'QUOTE (LIST |t|))) - (T (LIST 'QOUTE |t|)))) + ((SYMBOLP |t|) (|quote| (LIST |t|))) + (T (|quote| |t|)))) (LIST 'THROW :OPEN-AXIOM-CATCH-POINT (LIST 'CONS :OPEN-AXIOM-CATCH-POINT (LIST 'CONS |t| |x|))))))) diff --git a/src/boot/strap/parser.clisp b/src/boot/strap/parser.clisp index 9b36ba0d..0d5f4199 100644 --- a/src/boot/strap/parser.clisp +++ b/src/boot/strap/parser.clisp @@ -692,7 +692,7 @@ (DEFUN |bpString| () (DECLARE (SPECIAL |$ttok| |$stok|)) (AND (EQ (|shoeTokType| |$stok|) 'STRING) - (|bpPush| (LIST 'QUOTE (INTERN |$ttok|))) (|bpNext|))) + (|bpPush| (|quote| (INTERN |$ttok|))) (|bpNext|))) (DEFUN |bpThetaName| () (DECLARE (SPECIAL |$ttok| |$stok|)) diff --git a/src/boot/strap/translator.clisp b/src/boot/strap/translator.clisp index 3e93facc..ae9f2de2 100644 --- a/src/boot/strap/translator.clisp +++ b/src/boot/strap/translator.clisp @@ -39,7 +39,7 @@ (CONS (LIST 'MAPC (LIST 'FUNCTION 'FMAKUNBOUND) - (LIST 'QUOTE + (|quote| (LET ((|bfVar#2| NIL) (|bfVar#3| NIL) @@ -84,7 +84,7 @@ (SETQ |bfVar#5| #1=(CONS (LIST 'EVAL - (LIST 'QUOTE |d|)) + (|quote| |d|)) NIL)) (SETQ |bfVar#6| |bfVar#5|)) @@ -99,7 +99,7 @@ (DEFUN |genOptimizeOptions| (|stream|) (REALLYPRETTYPRINT (LIST 'PROCLAIM - (LIST 'QUOTE (CONS 'OPTIMIZE |$LispOptimizeOptions|))) + (|quote| (CONS 'OPTIMIZE |$LispOptimizeOptions|))) |stream|)) (DEFUN |AxiomCore|::|%sysInit| () @@ -619,7 +619,7 @@ (DEFUN |exportNames| (|ns|) (COND ((NULL |ns|) NIL) - (T (LIST (|inAllContexts| (LIST 'EXPORT (LIST 'QUOTE |ns|))))))) + (T (LIST (|inAllContexts| (LIST 'EXPORT (|quote| |ns|))))))) (DEFUN |translateToplevel| (|b| |export?|) (PROG (|lhs| |t| |ISTMP#2| |sig| |n| |ISTMP#1| |xs|) |