At 06:46 PM 5/11/98 -0400, Tucker Taft wrote:
<...>
>So the GNAT results are almost right if Y had been controlled (which it
isn't),
>but the GNAT results are still missing the call on Initialize for the
>X part of Null_Y.

Damn!  I thought I'd checked for that in C760009.  Now I'm going to have to
go dig that thing up and re-think it.  I wonder if Dan Lehman reads this
list...
Keith Shillington - [log in to unmask]
Manager, Quality Assurance and Ada Customer Support