[Gcl-devel] Problems with TYPEP

[Paul F. Dietz]

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