[elephant-devel] recreate-instance-using-class

[Robert L. Read]

On Tue, 2008-01-08 at 10:31 -0500, Ian Eslick wrote:
> Actually I think we definitely need to fix this.  Quite a few people  
> have run into the problem that we're violating the CLOS contract on  
> make-instance and that we should not use the same CLOS calling path  
> for re-initialization that we use for initial creation.  I think we  
> should require new contracts rather than messing with familiar ones. 

Is this in the CLHS?  Where is this contract documented?

The contract is that make-instance should only be called once for a
given object?