Madhu <[EMAIL PROTECTED]> wrote: > * Raymond Toy <[EMAIL PROTECTED]> : > Wrote on Wed, 26 Nov 2008 17:08:56 -0500: > > | Didier Verna wrote: > > |> 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 > > Which section is this? I couldnt grep for this in the spec or mopspec.
In the CMU-CL user manual, not the HyperSpec. I should have been more specific ;-) > | 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. > > It may also have been a tradeoff, [since it is not being done in the > compiler] and you want to have at least one path available to the > programmer to set a slot value that avoids overhead of a type check. But doing so by making (setf (slot-value))'s behavior different (shall I say inconsistent?) depending on the context feels somewhat weird to me. I guess you concern is performance here; but then, we can play with the optimize declaration. -- 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
