[no subject]

[EB@MIT-ML]

now load in the new FOO file again, and it says

;Re-defining class FOO (previously from file DSK:EB;FOO 1)
(in file DSK:EB;FOO 3)
; etc.

That is, either it doesn't do the redefinition or it forgets to
use the correct source file information.  The second time around,
after a supposed redefinition, it still says the class was previously
from the original source.