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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,f6f130eea077b8f8 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-05-22 06:49:58 PST Path: archiver1.google.com!postnews1.google.com!not-for-mail From: mcq95@earthlink.net (Marc A. Criley) Newsgroups: comp.lang.ada Subject: Re: 'Write attribute vs Write procedure. Date: 22 May 2003 06:49:57 -0700 Organization: http://groups.google.com/ Message-ID: <254c16a.0305220549.46d04635@posting.google.com> References: <7vk7ck7iwc.fsf@vlinux.voxelvision.no> NNTP-Posting-Host: 12.158.183.115 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1053611398 15230 127.0.0.1 (22 May 2003 13:49:58 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: 22 May 2003 13:49:58 GMT Xref: archiver1.google.com comp.lang.ada:37642 Date: 2003-05-22T13:49:58+00:00 List-Id: Simon Wright wrote in message news:... > I'm not sure whether an implementation has licence to produce code > which works "as if" this happened. What about the exceptional cases? > (where there isn't enough room in the stream for all the elements, for > example). According to Robert Dewar, compilers do have such "as if" license: "Remember that a compiler is always allowed to treat a language definition 'as-if', which means that any generated code that makes a compiler run the code the same way as some other way is equivalent. " Posted 9/11/97 in comp.lang.ada. (If you want to see the whole context of the post, do a Google groups search in comp.lang.ada with keywords: Dewar "as if" "no semantic effect" The thread is titled "The Red Language". I didn't include the URL because it's quite long and unwieldy. Marc A. Criley