|
From: | Paul F. Dietz |
Subject: | [Gcl-devel] Problem with SUBTYPEP on CONS types |
Date: | Thu, 11 Aug 2005 22:25:32 -0500 |
User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.10) Gecko/20050716 |
This was found with the test-random-types3: (deftest subtypep.cons.39 (values (subtypep t '(and (not (cons cons (cons cons t))) (not (cons t cons))))) nil) (expected value: nil, actual value: t) Paul
[Prev in Thread] | Current Thread | [Next in Thread] |