Exploiting Method Extension
The bad code differs from the good code in that it uses method extension. The result is that some malicious code could do the following:
(* calling the "hidden" method *) EVAL NARROW(NEW(FileSystemDirectory.T), Directory.T).init();
One way of still reusing the same name is to introduce an intermediate type that overrides the original name to
NIL
.