aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-05-17 18:51:53 +0000
committerdos-reis <gdr@axiomatics.org>2009-05-17 18:51:53 +0000
commit3251e62a23c39a33116e57bc211ef9d25999405b (patch)
treea5e8bbbc35b5fce12378daca9585fd1f7c12f657
parent8fb67cb835e2c126c1ab8a19c22c678c8959d63b (diff)
downloadopen-axiom-3251e62a23c39a33116e57bc211ef9d25999405b.tar.gz
* interp/cparse.boot (npTyping): Remove.
(npDefaultItemlist): Likewise. (npSDefaultItem): Likewise. (npDefaultItem): Likewise. (npDefaultDecl): Likewise. (npStatement): Don't call npTyping. (npDefinitionItem): Likewise.
-rw-r--r--src/ChangeLog12
-rw-r--r--src/interp/cparse.boot17
2 files changed, 11 insertions, 18 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index 89865182..061cae10 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,4 +1,14 @@
-2009-05-16 Gabriel Dos Reis <gdr@cse.tamu.edu>
+2009-05-17 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
+ * interp/cparse.boot (npTyping): Remove.
+ (npDefaultItemlist): Likewise.
+ (npSDefaultItem): Likewise.
+ (npDefaultItem): Likewise.
+ (npDefaultDecl): Likewise.
+ (npStatement): Don't call npTyping.
+ (npDefinitionItem): Likewise.
+
+2009-05-16 Gabriel Dos Reis <gdr@cs.tamu.edu>
* algebra/op.spad.pamphlet (assert$BasicOperator): Remove overload
with String parameter,
diff --git a/src/interp/cparse.boot b/src/interp/cparse.boot
index c3b11c5b..673ff21a 100644
--- a/src/interp/cparse.boot
+++ b/src/interp/cparse.boot
@@ -599,7 +599,6 @@ npStatement()==
npInline() or
npLocal() or
npExport() or
- npTyping() or
npVoid()
npBackTrack(p1,p2,p3)==
@@ -869,21 +868,6 @@ npTypeVariable()== npParenthesized function npTypeVariablelist or
npTypeVariablelist()== npListing function npSignatureDefinee
-npTyping()==
- npEqKey "DEFAULT" and (npDefaultItemlist() or npTrap())
- and npPush pfTyping npPop1()
-
-npDefaultItemlist()== npPC function npSDefaultItem
- and npPush pfUnSequence npPop1 ()
-
-npDefaultDecl()== npEqKey "COLON" and (npType() or npTrap()) and
- npPush pfSpread (pfParts npPop2(),npPop1())
-
-npDefaultItem()==npTypeVariable() and (npDefaultDecl() or npTrap())
-
-npSDefaultItem()== npListing function npDefaultItem
- and npPush pfAppend pfParts npPop1()
-
npBPileDefinition()==
npPileBracketed function npPileDefinitionlist
and npPush pfSequence pfListOf npPop1 ()
@@ -928,7 +912,6 @@ npSingleRule()==
false
npDefinitionItem()==
- npTyping() or
npImport() or
a:=npState()
npStatement() =>