Slot-definition-location

[jac%computer-lab.cambridge.ac.uk@NSFnet-Relay.AC.UK]

From Richard Barber, Procyon Research Ltd, Cambridge, UK

In the section in MOP draft number 10, 'readers for slot definition objects',
slot-definition-location is specified as having a single argument, an
effective-slot-definition.

I would like to see this generic function have 2 arguments (in order to give
implementors more flexibility in how they implement slot-definitions
in a class). The first argument to the function should be an
effective-slot-definition as before, and the second the class in which
the effective-slot-definition occurs.

This would make sense since effective-slot-definitions are closely tied in with
the class in which they occur - no two appropriate effective slots in a single
class being allowed to have the same location. This change would be of no
extra cost to the user.