aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-12-01 04:32:04 +0000
committerdos-reis <gdr@axiomatics.org>2008-12-01 04:32:04 +0000
commitc3b50d06f5f3be949d42619a014e4744853db68a (patch)
tree1ba50ddac95dd7a23beefcfd4f00e530d8bd997f /src
parente39cccd522e46e26e2e96ad6e130619dc98f8cce (diff)
downloadopen-axiom-c3b50d06f5f3be949d42619a014e4744853db68a.tar.gz
* interp/parse.boot (parseEquivalence): Remove.
Diffstat (limited to 'src')
-rw-r--r--src/ChangeLog4
-rw-r--r--src/interp/parse.boot8
2 files changed, 4 insertions, 8 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index 9bd01f6a..716a15e7 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,5 +1,9 @@
2008-11-30 Gabriel Dos Reis <gdr@cs.tamu.edu>
+ * interp/parse.boot (parseEquivalence): Remove.
+
+2008-11-30 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
* interp/define.boot (disallowNiAttribute): Remove.
(compDefineFunctor1): Don't use it anymore.
(compCategoryItem): Filter out nil attributes here.
diff --git a/src/interp/parse.boot b/src/interp/parse.boot
index 74677690..f4d40583 100644
--- a/src/interp/parse.boot
+++ b/src/interp/parse.boot
@@ -327,13 +327,6 @@ parseOr t ==
parseIf ["IF",y,parseOr ["or",:rest u],"true"]
parseIf ["IF",x,"true",parseOr ["or",:rest u]]
-
-parseEquivalence: %ParseForm -> %Form
-parseEquivalence t ==
- t isnt ["eqv",a,b] => systemErrorHere "parseEquivalence"
- parseIf ["IF",a,b,parseIf ["IF",b,:'(false true)]]
-
-
parseExclusiveOr: %ParseForm -> %Form
parseExclusiveOr t ==
t isnt ["xor",a,b] => systemErrorHere "parseExclusiveOr"
@@ -535,7 +528,6 @@ for x in [["<=", :"parseLessEqual"],_
["CATEGORY", :"parseCategory"],_
["construct", :"parseConstruct"],_
["DEF", :"parseDEF"],_
- ["eqv", :"parseEquivalence"],_
["exit", :"parseExit"],_
["has", :"parseHas"],_
["IF", :"parseIf"],_