diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-07-06 13:01:57 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-07-06 13:01:57 +0000 |
| commit | b0f950ab3726cf4facbe2b94f97ffbb598963165 (patch) | |
| tree | 659f00885f75cbc6dc319c43581cd57508f88cd8 /src/include/wct.H1 | |
| parent | 9c7ba258ef164671df6e357867d218cec3f7ce05 (diff) | |
| download | open-axiom-b0f950ab3726cf4facbe2b94f97ffbb598963165.tar.gz | |
* interp/parse.boot (parseTran): Don't set $op. Don't strip parse
tree codes.
(parseConstruct): Handle parse tree code.
(parseUpArrow): Likewise.
(parseLeftArrow): Likewise.
(parseIs): Likewise.
(parseIsnt): Likewise.
(parseLET): Likewise.
(parseLETD): Likewise.
(parseColon): Likewise.
(parseBigelt): Likewise.
(parseCoerce): Likewise.
(parseAtSign): Likewise.
(parsePretend): Likewise.
(parseHas): Likewise.
(parseDEF): Likewise.
(parseMDEF): Likewise.
(parseCategory): Likewise.
(parseGreaterThan): Likewise.
(parseGreaterEqual): Likewise.
(parseLessEqual): Likewise.
(parseNotEqual): Likewise.
(parseAnd): Likewise.
(parseOr): Likewise.
(parseEquivalence): Likewise.
(parseImplies): Likewise.
(parseExclusiveOr): Likewise.
(parseExit): Likewise.
(parseLeave): Likewise.
(parseReturn): Likewise.
(parseJoin): Likewise.
(parseInBy): Likewise.
(parseSegment): Likewise.
(parseIn): Likewise.
(parseIf): Likewise.
(parseWhere): Likewise.
(parseSeq): Likewise.
(parseVCONS): Likewise.
Diffstat (limited to 'src/include/wct.H1')
0 files changed, 0 insertions, 0 deletions