diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-08-05 20:27:43 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-08-05 20:27:43 +0000 |
| commit | ec54e41af6a45f9e5399dc30672f67ba8ef19cde (patch) | |
| tree | 3d9b895167d6280eca2935fde37d527ec89b204f /src/boot | |
| parent | 207c5a13c6987ad88975c35006d16c74d0e58e1a (diff) | |
| download | open-axiom-ec54e41af6a45f9e5399dc30672f67ba8ef19cde.tar.gz | |
* boot/tokens.boot: Remove unused and antiquated tokens.
* interp/i-output.boot: Escape caret.
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/strap/tokens.clisp | 14 | ||||
| -rw-r--r-- | src/boot/tokens.boot | 5 |
2 files changed, 6 insertions, 13 deletions
diff --git a/src/boot/strap/tokens.clisp b/src/boot/strap/tokens.clisp index 49017e4f..edc5b20a 100644 --- a/src/boot/strap/tokens.clisp +++ b/src/boot/strap/tokens.clisp @@ -45,14 +45,12 @@ (LIST ";" 'SEMICOLON) (LIST "*" 'TIMES) (LIST "**" 'POWER) (LIST "/" 'SLASH) (LIST "+" 'PLUS) (LIST "-" 'MINUS) (LIST "<" 'LT) (LIST ">" 'GT) (LIST "<=" 'LE) (LIST ">=" 'GE) - (LIST "=" 'SHOEEQ) (LIST "^" 'NOTRETIRED) - (LIST "^=" 'SHOENERETIRED) (LIST "~=" 'SHOENE) - (LIST ".." 'SEG) (LIST "#" 'LENGTH) (LIST "=>" 'EXIT) - (LIST "->" 'ARROW) (LIST ":=" 'BEC) (LIST "+->" 'GIVES) - (LIST "==" 'DEF) (LIST "<=>" 'TDEF) (LIST "(" 'OPAREN) - (LIST ")" 'CPAREN) (LIST "(|" 'OBRACK) (LIST "|)" 'CBRACK) - (LIST "[" 'OBRACK) (LIST "]" 'CBRACK) (LIST "suchthat" 'BAR) - (LIST "'" 'QUOTE) (LIST "|" 'BAR))) + (LIST "=" 'SHOEEQ) (LIST "~=" 'SHOENE) (LIST ".." 'SEG) + (LIST "#" 'LENGTH) (LIST "=>" 'EXIT) (LIST "->" 'ARROW) + (LIST ":=" 'BEC) (LIST "+->" 'GIVES) (LIST "==" 'DEF) + (LIST "<=>" 'TDEF) (LIST "(" 'OPAREN) (LIST ")" 'CPAREN) + (LIST "[" 'OBRACK) (LIST "]" 'CBRACK) (LIST "'" 'QUOTE) + (LIST "|" 'BAR))) (DEFUN |shoeKeyTableCons| () (PROG (|KeyTable|) diff --git a/src/boot/tokens.boot b/src/boot/tokens.boot index bc66db93..cf2b05c9 100644 --- a/src/boot/tokens.boot +++ b/src/boot/tokens.boot @@ -105,8 +105,6 @@ shoeKeyWords == [ _ ['"<=","LE" ], _ ['">=","GE" ], _ ['"=", "SHOEEQ"], _ - ['"^", "NOTRETIRED"], _ - ['"^=","SHOENERETIRED" ], _ ['"~=","SHOENE" ], _ ['"..","SEG" ], _ ['"#", "LENGTH"], _ @@ -118,11 +116,8 @@ shoeKeyWords == [ _ ['"<=>", "TDEF"], _ ['"(", "OPAREN"], _ ['")", "CPAREN"], _ - ['"(|", "OBRACK"], _ - ['"|)", "CBRACK"], _ ['"[", "OBRACK"], _ ['"]", "CBRACK"], _ - ['"suchthat","BAR"], _ ['"'", "QUOTE"], _ ['"|", "BAR"] ] |