From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,24411eb4ff030f6c X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news2.google.com!proxad.net!newsfeed.tpinternet.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mail From: Wojtek Narczynski Newsgroups: comp.lang.ada Subject: Re: Semantics of Inline vs non-Inline Date: Thu, 21 Oct 2004 12:24:44 +0200 Organization: tp.internet - http://www.tpi.pl/ Message-ID: References: NNTP-Posting-Host: avt218.neoplus.adsl.tpnet.pl Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: nemesis.news.tpi.pl 1098354498 12152 83.27.53.218 (21 Oct 2004 10:28:18 GMT) X-Complaints-To: usenet@tpi.pl NNTP-Posting-Date: Thu, 21 Oct 2004 10:28:18 +0000 (UTC) User-Agent: Pan/0.14.2 (This is not a psychotic episode. It's a cleansing moment of clarity.) Xref: g2news1.google.com comp.lang.ada:5569 Date: 2004-10-21T12:24:44+02:00 List-Id: 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