From 0f687ec65a2cb6a25a805b6c8f04fe3d90aad05b Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 26 Nov 2008 17:53:57 +0000
Subject: 	* interp/parse.boot (parseImplies): Remove.

---
 src/ChangeLog         | 4 ++++
 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)
-- 
cgit v1.2.3