[closer-devel] :reinitialize-instance-calls-finalize-inheritance

[Pascal Costanza]

Hi everyone,

Christophe Rhodes has spotted a mistake in one of the test cases for  
MOP Feature Tests. In the test for :reinitialize-instance-calls- 
finalize-inheritance, finalize-inheritance was called explicitly,  
which means that it always succeeded unconditionally.

I have changed this so that now, the call to finalize-inheritance is  
guarded by a check for class-finalized-p. Additionally, the call to  
reinitialize-instance is more 'sophisticated' to avoid interference  
of potentially acceptable optimizations.

Unfortunately, the new test reveals that CMUCL, MCL, OpenMCL and SBCL  
don't implement this feature correctly. You can find the new test  
case in the darcs repository, as well as the reports on this feature.

Many thanks to Christophe Rhodes for spotting the error in the test  
case and helping to find a better formulation.


Pascal

-- 
Pascal Costanza, mailto:pc at p-cos.net, http://p-cos.net
Vrije Universiteit Brussel, Programming Technology Lab
Pleinlaan 2, B-1050 Brussel, Belgium