Re: A bunch of questions that come after "Hello world"

["Grein, Christoph" <christoph.grein@eurocopter.com>]

> > Ada does not support multi-dispatch.  If you have two controlling
> > operands, they both have to have the same tag.
> 
> What do you mean?
> 
> procedure( X: Type1'Class; Y: Type2'Class);

The above does not dispatch.
h.

procedure P (X: Type1; Y: Type2);

where both Type1 and Type2 are tagged is illegal.

procedure P (X, Y: TypeX);

P (X, Y);

This call dispatches when X or Y is a class-wide object. Then X and Y must have 

have the same tag.