Re: When slots :type are used

Didier Verna wrote:
>        Hi again,
>
> Section "2.23.2 Slot Type Checking" continues to puzzle me, especially
> the fact that you have to be within *methods* for the :type slot option
> to be taken in consideration when writing something to a slot. For
> instance, with:
>
> (defclass foo ()
>   ((a :type fixnum)))
>
> (defvar *object* (make-instance 'foo))
> (setf (slot-value *object* 'a) 3.5)    ;; this works like a charm
>
>
> but: 
>
> (defmethod setslot ((foo foo) val)
>     (setf (slot-value foo 'a) val))
>
> (setslot *object* 3.5) ;; triggers a type error
>
>
> Can somebody provide a rationale for this ??
>
>
>   
Most likely because no got around to doing it.   Plus the most
interesting/most common case is probably in a method.

I'll see what I can do, but I know very little about the pcl implementation.

Ray