[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gcl-devel] Problems with TYPEP
From: |
Camm Maguire |
Subject: |
Re: [Gcl-devel] Problems with TYPEP |
Date: |
11 Aug 2005 22:22:06 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
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" <address@hidden> 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
> 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