diff options
author | dos-reis <gdr@axiomatics.org> | 2008-03-09 16:16:22 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-03-09 16:16:22 +0000 |
commit | 6134f0731a2f170fd76b08b435f7a813ee74b806 (patch) | |
tree | cbebb5981dfe7ccc8fed50a9d5d412bf490a01c7 /src | |
parent | 6e07ce8f0c6c77b61cfa2f8be54781160018ff91 (diff) | |
download | open-axiom-6134f0731a2f170fd76b08b435f7a813ee74b806.tar.gz |
* interp/parse.boot (parseDollarGreaterThan): Remove.
(parseDollarGreaterEqual): Likewise.
(parseDollarLessEqual): Likewise.
(parseDolloarNotEqual): Likewise.
Diffstat (limited to 'src')
-rw-r--r-- | src/ChangeLog | 7 | ||||
-rw-r--r-- | src/interp/parse.boot | 16 |
2 files changed, 7 insertions, 16 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index a55a6f0f..f0d0fc46 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,10 @@ +2008-03-09 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/parse.boot (parseDollarGreaterThan): Remove. + (parseDollarGreaterEqual): Likewise. + (parseDollarLessEqual): Likewise. + (parseDolloarNotEqual): Likewise. + 2008-03-08 Gabriel Dos Reis <gdr@cs.tamu.edu> * graph/: Depamphletize. diff --git a/src/interp/parse.boot b/src/interp/parse.boot index 49aee33f..9f5cb73e 100644 --- a/src/interp/parse.boot +++ b/src/interp/parse.boot @@ -313,18 +313,6 @@ parseLessEqual u == parseTran ["not",[substitute(">","<=",$op),:u]] parseNotEqual u == parseTran ["not",[substitute("=","^=",$op),:u]] -parseDollarGreaterThan [x,y] == - [substitute("$<","$>",$op),parseTran y,parseTran x] - -parseDollarGreaterEqual u == - parseTran ["not",[substitute("$<","$>=",$op),:u]] - -parseDollarLessEqual u == - parseTran ["not",[substitute("$>","$<=",$op),:u]] - -parseDollarNotEqual u == - parseTran ["not",[substitute("$=","$^=",$op),:u]] - parseAnd u == $InteractiveMode => ["and",:parseTranList u] null u => "true" @@ -496,10 +484,6 @@ parseVCONS l == ["VECTOR",:parseTranList l] for x in [["<=", :"parseLessEqual"],_ [">", :"parseGreaterThan"],_ [">=", :"parseGreaterEqual"],_ - ["$<=", :"parseDollarLessEqual"],_ - ["$>", :"parseDollarGreaterThan"],_ - ["$>=", :"parseDollarGreaterEqual"],_ - ["$^=", :"parseDollarNotEqual"],_ ["^=", :"parseNotEqual"],_ ["_:", :"parseColon"],_ ["_:_:", :"parseCoerce"],_ |