diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-11-26 17:53:57 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-11-26 17:53:57 +0000 |
| commit | 0f687ec65a2cb6a25a805b6c8f04fe3d90aad05b (patch) | |
| tree | d871c250a4f9b5dabfaa548950e15bb40dd87b2d /src/interp | |
| parent | 98bc135baf2bae90f39bb919f56afce5ae13a1ad (diff) | |
| download | open-axiom-0f687ec65a2cb6a25a805b6c8f04fe3d90aad05b.tar.gz | |
* interp/parse.boot (parseImplies): Remove.
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/parse.boot | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/src/interp/parse.boot b/src/interp/parse.boot index 74b52394..74677690 100644 --- a/src/interp/parse.boot +++ b/src/interp/parse.boot @@ -334,11 +334,6 @@ parseEquivalence t == parseIf ["IF",a,b,parseIf ["IF",b,:'(false true)]] -parseImplies: %ParseForm -> %Form -parseImplies t == - t isnt ["implies",a,b] => systemErrorHere "parseImplies" - parseIf ["IF",a,b,"true"] - parseExclusiveOr: %ParseForm -> %Form parseExclusiveOr t == t isnt ["xor",a,b] => systemErrorHere "parseExclusiveOr" @@ -544,7 +539,6 @@ for x in [["<=", :"parseLessEqual"],_ ["exit", :"parseExit"],_ ["has", :"parseHas"],_ ["IF", :"parseIf"],_ - ["implies", :"parseImplies"],_ ["IN", :"parseIn"],_ ["INBY", :"parseInBy"],_ ["is", :"parseIs"],_ @@ -562,4 +556,4 @@ for x in [["<=", :"parseLessEqual"],_ ["VCONS", :"parseVCONS"],_ ["where", :"parseWhere"],_ ["xor", :"parseExclusiveOr"]] repeat - MAKEPROP(car x, "parseTran", cdr x) + MAKEPROP(first x, "parseTran", rest x) |