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/cattable.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/cattable.boot')
-rw-r--r-- | src/interp/cattable.boot | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/interp/cattable.boot b/src/interp/cattable.boot index 74faac7c..a25c91b5 100644 --- a/src/interp/cattable.boot +++ b/src/interp/cattable.boot @@ -384,8 +384,7 @@ categoryParts(conform,category,:options) == main where res := applySubst(pairList(tvl,$FormalMapVariableList),res) res build(item,pred) == - item is ['SIGNATURE,op,sig,:.] => $oplist := [[opOf op,sig,:pred],:$oplist] - --note: opOf is needed!!! Bug in compiler puts in (One) and (Zero) + item is ['SIGNATURE,op,sig,:.] => $oplist := [[op,sig,:pred],:$oplist] item is ['ATTRIBUTE,attr] => constructor? opOf attr => $conslist := [[attr,:pred],:$conslist] |