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 /src/interp | |
| parent | 747aae4a7e6de144f8692e68c04ba17bae47dc9d (diff) | |
| download | open-axiom-25771fb23320f424f6e71ee07407886da815bbdc.tar.gz | |
r12437@gauss: gdr | 2008-12-09 22:23:31 -0600
Remove unused parse functions.
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/parse.boot | 18 |
1 files changed, 1 insertions, 17 deletions
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 |