[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gcl-devel] gcl_predlib.lsp
From: |
Camm Maguire |
Subject: |
Re: [Gcl-devel] gcl_predlib.lsp |
Date: |
11 Aug 2005 22:18:52 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
Thanks! Should be fixed now.
Take care,
"Paul F. Dietz" <address@hidden> writes:
> 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
>
>
> _______________________________________________
> Gcl-devel mailing list
> address@hidden
> http://lists.gnu.org/mailman/listinfo/gcl-devel
>
>
>
--
Camm Maguire address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah