[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gcl-devel] subtypep tests
From: |
Camm Maguire |
Subject: |
[Gcl-devel] subtypep tests |
Date: |
21 Jul 2005 01:42:13 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
Greetings! I need a more powerful subtypep for the compiler, and it
appears I have one basically implemented. I'd like to make use of the
second value to indicate whether the first type is in the complement
of the second type -- i.e. nil t means the types are disjoint (so that
the corresponding typep can return a constant nil), and I'd
like to return nil nil in cases of overlap even when I know the answer
for sure. I think this should comply with the standard. Please
correct me if wrong. If this is the case, there are a number of tests
which insist on nil t and won't accept nil nil (like many others do),
e.g. (subtypep '(integer 0 10) '(integer 0 (10))). Is this
intentional?
Take care,
"Paul F. Dietz" <address@hidden> writes:
> The random tester is finding a problem in cvs head:
>
> >(compile nil '(lambda () (let ((x (values 0))) 0)))
>
> Error in WHEN [or a callee]: The GO tag #:G3614 is missing.
>
>
> This is also test misc.603 in ansi-tests.
>
> 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