Re: Semantics of Inline vs non-Inline

["Christoph Karl Walter Grein" <AdaMagica@web.de>]

> >   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:

"Not supported" means: Upon execution of your program, it's undefined what will happen.
If your compiler does not pass the argument with a valid address, your program is erroneous.
Full stop.

The RM also makes a distinction between "undefined" and "implementation defined".

But your program is legal syntax, so the compiler cannot reject it. As it cannot reject X := 1 / 0;

It might do you a favour and output a warning, though, but that's not required.
________________________________________________________________
Verschicken Sie romantische, coole und witzige Bilder per SMS!
Jetzt neu bei WEB.DE FreeMail: http://freemail.web.de/?mc=021193