diff options
author | dos-reis <gdr@axiomatics.org> | 2009-06-01 08:01:00 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-06-01 08:01:00 +0000 |
commit | 6fff2c66d36bf2f6cacf1d9086ba6c80eb5f7f64 (patch) | |
tree | ecd96105b5ee50cf5e81dfe1eb506797730e2955 /src/interp | |
parent | 78dd44d657fa65a8029d996aaf7ac05d2133f509 (diff) | |
download | open-axiom-6fff2c66d36bf2f6cacf1d9086ba6c80eb5f7f64.tar.gz |
* interp/compiler.boot (compGreaterThan): Remove.
* interp/parse.boot (parseGreaterEqual): Likewise.
Diffstat (limited to 'src/interp')
-rw-r--r-- | src/interp/compiler.boot | 7 | ||||
-rw-r--r-- | src/interp/parse.boot | 5 |
2 files changed, 0 insertions, 12 deletions
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot index 2d42c1fa..d1c626e0 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -1454,12 +1454,6 @@ compExclusiveOr(x,m,e) == bT := comp(b,$EmptyMode,e) or return nil compResolveCall("xor",[aT,bT],m,bT.env) -compGreaterThan: (%Form, %Mode, %Env) -> %Maybe %Triple -compGreaterThan(x,m,e) == - x isnt [">", a, b] => nil - $normalizeTree and resolve(m,$Boolean) = $Boolean => comp(["<",b,a],m,e) - compForm(x,m,e) - --% Case compCase: (%Form,%Mode,%Env) -> %Maybe %Triple compCase1: (%Form,%Mode,%Env) -> %Maybe %Triple @@ -2450,7 +2444,6 @@ for x in [["|", :"compSuchthat"],_ ["@", :"compAtSign"],_ [":", :"compColon"],_ ["::", :"compCoerce"],_ - [">", :"compGreaterThan"],_ ["QUOTE", :"compQuote"],_ ["add", :"compAdd"],_ ["CAPSULE", :"compCapsule"],_ diff --git a/src/interp/parse.boot b/src/interp/parse.boot index f8491813..e87d8906 100644 --- a/src/interp/parse.boot +++ b/src/interp/parse.boot @@ -262,10 +262,6 @@ parseDropAssertions x == [y,:parseDropAssertions r] x -parseGreaterEqual: %ParseForm -> %Form -parseGreaterEqual u == - parseTran ["not",[substitute("<",">=",first u),:rest u]] - parseLessEqual: %ParseForm -> %Form parseLessEqual u == parseTran ["not",[substitute(">","<=",first u),:rest u]] @@ -477,7 +473,6 @@ parseVCONS l == --% Register special parsers. for x in [["<=", :"parseLessEqual"],_ - [">=", :"parseGreaterEqual"],_ ["^=", :"parseNotEqual"],_ [":", :"parseColon"],_ ["::", :"parseCoerce"],_ |