Re: Class wide preconditions: error in GNAT implementation?

[Simon Wright <simon@pushface.org>]

ytomino <aghia05@gmail.com> writes:

> I am not aware of the intention of the writer of AARM (Randy?).
> Though as far as I read AARM and compare it with the Eiffel book,
>
>>      O := new B_Pack.T; 
>>      Put_Line ("passing 0 to an actual B_Pack.T"); 
>>      O.P (0); 
>
> Calling B_Pack.P via access A_Pack.T'Class should be failure.
>
> 6.6.1.38.a/3:
>
>> Pre'Class(es) that apply to the subprogram that the dispatching call
>> is resolving to, not the Pre'Class(es) for the subprogram that is
>> ultimately dispatched to. 
>
> "resolving to" = A_Pack.P
> "dispatched to" = B_Pack.P

Exactly so; both calls should have failed.