:type slot option in classes

       Hello,

Reading section "2.23.2 Slot Type Checking" of the manual, I'm inclined
to think that the following code should trigger an error when
instanciating the class. But it doesn't:

| (declaim (optimize (speed 0)
| 		   (compilation-speed 0)
| 		   (safety 3)
| 		   (debug 0)))
| 
| 
| (defclass foo ()
|   ((slot :type single-float :initform "bar")))

The behavior is not undefined (as the standard would say), but coherent
in the sense that objects of any type can be correctly written and read
from the slot, just as if the :type option was not given.

Am I missing something ?

Thanks!


BTW, some more info:

* pcl::*use-slot-types-p*
T

* (lisp-implementation-version)
"CVS 19d 19d-release (19D)"

-- 
Resistance is futile. You will be jazzimilated.

Scientific site:   http://www.lrde.epita.fr/~didier
Music (Jazz) site: http://www.didierverna.com

EPITA/LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France
Tel. +33 (0)1 44 08 01 85       Fax. +33 (0)1 53 14 59 22