gcl-devel
[Top][All Lists]
Advanced

[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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]