"Jeffrey Carter" <spam@spam.com> a �crit dans le message de news:DXAmc.10133$Hs1.326@newsread2.news.pas.earthlink.net...
> Jean-Pierre Rosen wrote:
> > Oh no! It's one of the nicest features of Ada. The dependance graph
> > of the program is hard-coded, you always know which module needs
> > which module.
>
> Unfortunately, this is not always true. With tagged types and
> dispatching, it is possible for a module to call an operation in another
> module that is not "with"ed by the first module.
>
True if you are thinking in terms of call-graph.

But you don't depend logically on something that you don't with. With tagged types, you are really calling an implementation (in
another package) of something that you depend on - which is defined in a package that you have withed.

-- 
---------------------------------------------------------
           J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr