a �crit dans le message news: 95tpba$9va$1@nnrp1.deja.com... >[...] > > procedure P is > > type Child is new Parent with...; > > procedure Proc (X : Child) is... end Proc; > > begin > > V := new Child; > > end P; > > > > This is an issue of how dispatch tables are implemented and maintained > at run-time. One could imagine a mechanism that would restore the > dispatch table, when a derived type goes away. The type tag could > be "redirected" to the base type tag, or the table slots corresponding > to the overriden methods could be restored etc. What is really nasty, > is that the semantic of V.Proc would depend on the context. > No, you miss the point. A (dispatching) call to P.Proc could access P's local variables, but such variables would not exist at the time P.Proc is called. -- --------------------------------------------------------- J-P. Rosen (Rosen.Adalog@wanadoo.fr) Visit Adalog's web site at http://pro.wanadoo.fr/adalog