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" <[EMAIL PROTECTED]> 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 > Gcl-devel@gnu.org > http://lists.gnu.org/mailman/listinfo/gcl-devel > > > -- Camm Maguire [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list Gcl-devel@gnu.org http://lists.gnu.org/mailman/listinfo/gcl-devel
