From ea743b299aaf9e1ced2dedb52ca4fd88fea13251 Mon Sep 17 00:00:00 2001
From: ehuelsmann <ehuelsmann@localhost>
Date: Sat, 18 Apr 2009 07:34:30 +0000
Subject: [PATCH] Comment out CATCH.6, which is bogus.

Verified on #lisp, confirmed by crhodes and others.
---
 ansi-tests/catch.lsp | 23 ++++++++++++++---------
 1 file changed, 14 insertions(+), 9 deletions(-)

diff --git a/ansi-tests/catch.lsp b/ansi-tests/catch.lsp
index 8c5ca535..be735b4c 100644
--- a/ansi-tests/catch.lsp
+++ b/ansi-tests/catch.lsp
@@ -24,15 +24,20 @@
   (catch 'foo 'a (throw 'foo 'b) 'c)
   b)
 
-(deftest catch.6
-  (let ((tag1 (1+ most-positive-fixnum))
-	(tag2 (1+ most-positive-fixnum)))
-    (if (eqt tag1 tag2)
-	'good
-      (catch tag1
-	(catch tag2 (throw tag1 'good))
-	'bad)))
-  good)
+;;
+;; The test below is wrong:
+;;   Numbers can't be assumed to be EQ at
+;;   any time by conforming programs.
+;;
+;; (deftest catch.6
+;;   (let ((tag1 (1+ most-positive-fixnum))
+;; 	(tag2 (1+ most-positive-fixnum)))
+;;     (if (eqt tag1 tag2)
+;; 	'good
+;;       (catch tag1
+;; 	(catch tag2 (throw tag1 'good))
+;; 	'bad)))
+;;   good)
 
 (deftest catch.7
   (catch 'foo 'a (throw 'foo (values)) 'c))
-- 
GitLab