diff options
author | dos-reis <gdr@axiomatics.org> | 2011-10-26 02:58:22 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-10-26 02:58:22 +0000 |
commit | 47343d6fc2dcd7c9795f7a715a7cf1d862733c26 (patch) | |
tree | eba6fcf9262aaba3366f0573b693679e125210b0 /src/interp/parse.boot | |
parent | f0dc480a4aa1532caef8f2793e94bf51154fddd1 (diff) | |
download | open-axiom-47343d6fc2dcd7c9795f7a715a7cf1d862733c26.tar.gz |
* interp/postpar.boot (postSignature): Tidy.
* interp/parse.boot (transCategoryItem): Remove as dead code.
* interp/lisplib.boot (finalizeLisplib): Remove use of removeZeroOne.
* interp/cattable.boot (categoryParts): Tidy.
Diffstat (limited to 'src/interp/parse.boot')
-rw-r--r-- | src/interp/parse.boot | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/src/interp/parse.boot b/src/interp/parse.boot index c6e4bbe2..158e2dbf 100644 --- a/src/interp/parse.boot +++ b/src/interp/parse.boot @@ -378,28 +378,6 @@ transSeq l == (y:= transSeq tail) is ["SEQ",:s] => ["SEQ",item,:s] ["SEQ",item,["exit",1,incExitLevel y]] -transCategoryItem: %ParseForm -> %Form -transCategoryItem x == - x is ["SIGNATURE",lhs,rhs] => - lhs is ["LISTOF",:y] => - "append" /[transCategoryItem ["SIGNATURE",z,rhs] for z in y] - lhs isnt [.,:.] => - lhs := washOperatorName lhs - rhs is ["Mapping",:m] => - m is [.,"constant"] => [["SIGNATURE",lhs,[first m],"constant"]] - [["SIGNATURE",lhs,m]] - $transCategoryAssoc:= [[lhs,:rhs],:$transCategoryAssoc] - postError ['" Invalid signature: ",x] - [op,:argl]:= lhs - extra := nil - if rhs is ["Mapping",:m] then - if rest m then extra:= rest m - --should only be 'constant' or 'variable' - rhs:= first m - [["SIGNATURE",op,[rhs,:applySubst($transCategoryAssoc,argl)],:extra]] - [x] - - superSub: (%Symbol, %List %Form ) -> %Form superSub(name,x) == for u in x repeat y:= [:y,:u] |