Thanks!  I didn't look carefully at typep, (or anything else other
than subtypep really), so if you see anything else please let me know.

Take care,

"Paul F. Dietz" <[EMAIL PROTECTED]> writes:

> Looking over gcl_predlib.lsp, I see some problems with TYPEP:
> 
>  >(typep nil nil)
> 
> T
> 
> (Remember, NIL is the empty type; NULL is the type containing NIL.)
> 
> Also, typep-int contains this code fragment:
> 
> (case tp
>      (cons (and (consp object) (typep-int (car object) (car i)) (typep-int 
> (cdr object) (cadr i))))
> 
> which, on the type (CONS T), will be calling itself
> recurively on (cdr object) and nil.  That type is equivalent
> to (CONS T T).
> 
> I'll commit a patch for this in a bit.
> 
>       Paul
> 
> 
> _______________________________________________
> Gcl-devel mailing list
> [email protected]
> 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
[email protected]
http://lists.gnu.org/mailman/listinfo/gcl-devel

Reply via email to