Re: Semantics of Inline vs non-Inline

[Wojtek Narczynski <wojtek@power.com.pl>]

On Thu, 21 Oct 2004 07:07:31 +0200, Christoph Karl Walter Grein wrote:

>> >   function Push( Datum : Datum_Type ) return List.Cell_Ptr is
>> >      LM_Datum : List.Datum_Type;
>> >      for LM_Datum'Address use Datum'Address;
>> 
>> Sorry, I still don't see why Datum'Address should compile if it is 
>> not supported.
>>
>> Regards,
>> Wojtek
> 
> Obviously you are not familiar with Ada RM speak:

Indeed.

> "Not supported" means: Upon execution of your program, it's undefined what
> will happen.

I am right now grepping the RM, and this is just not true. The RM defines
in dozens of places what should happen if something is "not supported".
For example, applicable to this case:

"13/1 A representation or operational item that is not supported by the
implementation is illegal, or raises an exception at run time."

Regards,
Wojtek