aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-12-11 22:55:35 +0000
committerdos-reis <gdr@axiomatics.org>2008-12-11 22:55:35 +0000
commit25771fb23320f424f6e71ee07407886da815bbdc (patch)
tree406fc8ab93b14b2167a973be4a8bd4b9e4ba14d8
parent747aae4a7e6de144f8692e68c04ba17bae47dc9d (diff)
downloadopen-axiom-25771fb23320f424f6e71ee07407886da815bbdc.tar.gz
r12437@gauss: gdr | 2008-12-09 22:23:31 -0600
Remove unused parse functions.
-rw-r--r--src/ChangeLog2
-rw-r--r--src/interp/parse.boot18
2 files changed, 3 insertions, 17 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index d8b9344d..aa9569ab 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,5 +1,7 @@
2008-12-09 Gabriel Dos Reis <gdr@cs.tamu.edu>
+ * interp/parse.boot (parseCases): Remove.
+ (parseUpArrow): Likewise.
* interp/compiler.boot (preprocessParseTree): New.
(compileParseTree): New. Split out of S-PROCESS.
* interp/spad.lisp (S-PROCESS): Use it.
diff --git a/src/interp/parse.boot b/src/interp/parse.boot
index ba3a9258..880ce16f 100644
--- a/src/interp/parse.boot
+++ b/src/interp/parse.boot
@@ -87,11 +87,6 @@ parseConstruct u ==
[first u,:parseTranList rest u]
-- ??? This parser is unused at the moment.
-parseUpArrow: %ParseForm -> %Form
-parseUpArrow u ==
- parseTran ["**",:rest u]
-
--- ??? This parser is unused at the moment.
parseLeftArrow: %ParseForm -> %Form
parseLeftArrow u ==
parseTran ["%LET",:rest u]
@@ -268,17 +263,6 @@ parseTranCheckForRecord(x,op) ==
x
x
--- ??? This parser is unused at the moment.
-parseCases: %ParseForm -> %Form
-parseCases t ==
- t isnt [expr,ifClause] => systemErrorHere "parseCases"
- casefn(expr,ifClause) where
- casefn(x,ifExpr) ==
- ifExpr="%noBranch" => ["ifClauseError",x]
- ifExpr is ["IF",a,b,c] => ["IF",parseTran a,parseTran b,casefn(x,c)]
- postError ['" CASES format error: cases ",x," of ",ifExpr]
-
-
parseCategory: %ParseForm -> %Form
parseCategory t ==
t isnt ["CATEGORY",:x] => systemErrorHere "parseCategory"
@@ -440,7 +424,7 @@ makeSimplePredicateOrNil: %ParseForm -> %Form
makeSimplePredicateOrNil p ==
isSimple p => nil
u:= isAlmostSimple p => u
- true => wrapSEQExit [["%LET",g:= GENSYM(),p],g]
+ wrapSEQExit [["%LET",g:= GENSYM(),p],g]
parseWhere: %List -> %Form