Interfaces

[Florian Weimer <fw@deneb.enyo.de>]

Suppose there are two interface types, J1 and J2, and the following
dispatching subprogramms:

  procedure Foo (Obj : J1);
  procedure Foo (Obj : J2;

T implements both J1 and J2, and provides a body for

  procedure Foo (Obj : T);

As far as I understand the Ada 200x spec, this subprogram declaration
overrides both versions of Foo, such that

  Foo ((J1 (T_Obj));
  Foo ((J2 (T_Obj));

invoke the same subprogram.  Is this correct?

I don't think this is a desirable approach because it makes interfaces
a strictly non-modular concept, and might force library designers to
add unique prefixes to interface subprogram names.