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 | |
| parent | 98bc135baf2bae90f39bb919f56afce5ae13a1ad (diff) | |
| download | open-axiom-0f687ec65a2cb6a25a805b6c8f04fe3d90aad05b.tar.gz | |
* interp/parse.boot (parseImplies): Remove.
Diffstat (limited to 'src')
| -rw-r--r-- | src/ChangeLog | 4 | ||||
| -rw-r--r-- | src/interp/parse.boot | 8 |
2 files changed, 5 insertions, 7 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index e8aef8cf..5c76663b 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,7 @@ +2008-11-26 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/parse.boot (parseImplies): Remove. + 2008-11-24 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/lisplib.boot (compDefineExports): Tidy. 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) |