TYPE-OF not returning recognizable subtype of COMPILED-FUNCTION on builtin functions

[Paul F. Dietz]

(type-of #'cons) ==> FUNCTION
(typep #'cons 'compiled-function) ==> T
(subtypep (type-of #'cons) 'compiled-function) ==> NIL, T

clhs type-of:

1. For any object that is an element of some built-in type:
   a. the type returned is a recognizable subtype of that built-in type.

and compiled-function is a built-in type.

(test type-of.1 in ansi-tests)

[Douglas Katzman (dougk)]

This is either exactly the same as or related to https://bugs.launchpad.net/sbcl/+bug/1537003

[Paul F. Dietz (paul-f-dietz)]

That's not the same bug, although it would not surprise me if this current bug had been reported before. It comes from a failure in ansi-tests, from the manually written tests I had not run in a quite a while.

BTW, I am going to disable for SBCL the tests that assume (vector nil) is a subtype of string. This was changed recently in SBCL and all those tests now fail.