Can't find the answer

[vsnyder@math.jpl.nasa.gov (Van Snyder)]

I looked in the Ada-95 standard, and in Barnes's book, and in
Cohen's book, for the answer to the following question.  I
remember reading the answer long ago, but I forgot which way
it went.  And where I read it.

Suppose I have a type T1, and extend it to a type T2.

Suppose I have a procedure P that takes an argument of type T1,
not T1'class.

Can I invoke P directly on an object of type T2?  Not a classwide
object of T1'class, and not an object of type T2 converted explicitly
to T1 by T1().

E-mail would help me most, but post, too, if you like.

Van Snyder
vsnyder@gyre.jpl.nasa.gov
-- 
What fraction of Americans believe   |  Van Snyder
Wrestling is real and NASA is fake?  |  vsnyder@math.jpl.nasa.gov