From: Eric M. <eri...@fr...> - 2011-10-31 08:24:08
|
Hi, It seems to me that the discussion in CLHS TYPE-OF does not allow the following behaviour: for any object that is an element of a built-in type (such as COMPILED-FUNCTION), the type specified returned by TYPE-OF must be a recognizable subtype of that built-in type. ,---- | * (lisp-implementation-version) | "1.0.52.44-b2d132a-dirty" | * (type-of #'cons) | FUNCTION | * (typep #'cons 'compiled-function) | T | * (subtypep 'function 'compiled-function) | NIL | T `---- (This is from ansi-test.) -- Eric Marsden |