diff options
| -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) |