From ehuelsmann at common-lisp.net  Sat Apr 18 07:34:31 2009
From: ehuelsmann at common-lisp.net (Erik Huelsmann)
Date: Sat, 18 Apr 2009 03:34:31 -0400
Subject: [ansi-test-cvs] r2143 - trunk/ansi-tests
Message-ID: <E1Lv54J-0002W1-F7@common-lisp.net>

Author: ehuelsmann
Date: Sat Apr 18 03:34:30 2009
New Revision: 2143

Log:
Comment out CATCH.6, which is bogus.

Verified on #lisp, confirmed by crhodes and others.

Modified:
   trunk/ansi-tests/catch.lsp

Modified: trunk/ansi-tests/catch.lsp
==============================================================================
--- trunk/ansi-tests/catch.lsp	(original)
+++ trunk/ansi-tests/catch.lsp	Sat Apr 18 03:34:30 2009
@@ -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))