gcl-devel
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Gcl-devel] gcl_predlib.lsp

From: Paul F. Dietz
Subject: Re: [Gcl-devel] gcl_predlib.lsp
Date: Thu, 11 Aug 2005 17:38:34 -0500
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.10) Gecko/20050716 
I wrote:


 I'm getting some
failures from the test-random-types3; I'll reduce them to test cases
and send them in this evening when I have time.


Here's a problem:

CL-TEST>(subtypep t '(or (not (real 0 10)) (not (real -100 -50))))

NIL    ;; incorrect
T

CL-TEST>(subtypep t '(not (and (real 0 10) (real -100 -50))))

T      ;; correct
T


        Paul
reply via email to
[Prev in Thread] Current Thread [Next in Thread]