aboutsummaryrefslogtreecommitdiff
path: root/src/interp
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-06-10 10:41:51 +0000
committerdos-reis <gdr@axiomatics.org>2009-06-10 10:41:51 +0000
commit6f5bb8b97c05bc027dff9577d3cba33938c8ee9c (patch)
tree1c90e6909a6b5afdf38c693c9baf0ad2741747b0 /src/interp
parentc020ac99c5016824cfe8fab756a15f73264c38d0 (diff)
downloadopen-axiom-6f5bb8b97c05bc027dff9577d3cba33938c8ee9c.tar.gz
* interp/parse.boot (parseDropAssertions): Remove.
(parseCategory): Don't call it. * interp/nrungo.boot (lookupPred): Don't check for "asserted".
Diffstat (limited to 'src/interp')
-rw-r--r--src/interp/nrungo.boot1
-rw-r--r--src/interp/parse.boot10
2 files changed, 1 insertions, 10 deletions
diff --git a/src/interp/nrungo.boot b/src/interp/nrungo.boot
index 944606f1..cf17fc20 100644
--- a/src/interp/nrungo.boot
+++ b/src/interp/nrungo.boot
@@ -246,7 +246,6 @@ lookupInCategories(op,sig,dom,dollar) ==
--=======================================================
lookupPred(pred,dollar,domain) ==
pred = true => true
- pred = 'asserted => false
pred is ['AND,:pl] or pred is ['and,:pl] =>
and/[lookupPred(p,dollar,domain) for p in pl]
pred is ['OR,:pl] or pred is ['or,:pl] =>
diff --git a/src/interp/parse.boot b/src/interp/parse.boot
index 6daf3ea3..f2ff3381 100644
--- a/src/interp/parse.boot
+++ b/src/interp/parse.boot
@@ -244,21 +244,13 @@ parseCategory: %ParseForm -> %Form
parseCategory t ==
t isnt ["CATEGORY",:x] => systemErrorHere ["parseCategory",t]
$parsingType: local := true
- l:= parseTranList parseDropAssertions x
+ l:= parseTranList x
key:=
CONTAINED("$",l) => "domain"
"package"
["CATEGORY",key,:l]
-parseDropAssertions: %ParseForm -> %Form
-parseDropAssertions x ==
---note: the COPY of this list is necessary-- do not replace by RPLACing version
- x is [y,:r] =>
- y is ["IF","asserted",:.] => parseDropAssertions r
- [y,:parseDropAssertions r]
- x
-
parseLessEqual: %ParseForm -> %Form
parseLessEqual u ==
parseTran ["not",[substitute(">","<=",first u),:rest u]]