diff options
author | dos-reis <gdr@axiomatics.org> | 2008-12-11 22:55:35 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-12-11 22:55:35 +0000 |
commit | 25771fb23320f424f6e71ee07407886da815bbdc (patch) | |
tree | 406fc8ab93b14b2167a973be4a8bd4b9e4ba14d8 | |
parent | 747aae4a7e6de144f8692e68c04ba17bae47dc9d (diff) | |
download | open-axiom-25771fb23320f424f6e71ee07407886da815bbdc.tar.gz |
r12437@gauss: gdr | 2008-12-09 22:23:31 -0600
Remove unused parse functions.
-rw-r--r-- | src/ChangeLog | 2 | ||||
-rw-r--r-- | src/interp/parse.boot | 18 |
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 |