[GAP] Ada 2005 object.method doesn't always dispatch

[Pascal Obry]

Martin,

> I suspect you may have students with Java or C# experience who will also
> stumble on this point, so I thought I would bring it to your attention.

Don't we have the same behavior in Ada95 (I mean this is not related to
Ada 2005). Calling a method with a non-classwide type (access type or
not) will never dispatch.

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|              http://www.obry.net
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595