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,cae92f92d6a1d4b1 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news2.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nx02.iad01.newshosting.com!newshosting.com!news-out.readnews.com!news-xxxfer.readnews.com!panix!bloom-beacon.mit.edu!newsswitch.lcs.mit.edu!nntp.TheWorld.com!not-for-mail From: Robert A Duff Newsgroups: comp.lang.ada Subject: Re: Ada.Execution_Time Date: Mon, 27 Dec 2010 17:43:42 -0500 Organization: The World Public Access UNIX, Brookline, MA Message-ID: References: <4d05e737$0$6980$9b4e6d93@newsspool4.arcor-online.net> <1wmsukf0wglz3$.odnzonrpayly.dlg@40tude.net> <6n1c5myuf2uz$.10jl3ln7il3aq.dlg@40tude.net> <8n0mgnFv2sU1@mid.individual.net> <1n3o55xjdjr9t.1u33kb75y2jfl$.dlg@40tude.net> <8n1142Fto2U1@mid.individual.net> <1o5cbm4b1l20d$.19winbma6k5qw.dlg@40tude.net> <8n4mskF7mmU1@mid.individual.net> <8nm30fF7r9U1@mid.individual.net> <1akm5muxu9zni.mu91b7pubqw0$.dlg@40tude.net> NNTP-Posting-Host: shell01.theworld.com Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: pcls6.std.com 1293489823 15895 192.74.137.71 (27 Dec 2010 22:43:42 GMT) X-Complaints-To: abuse@TheWorld.com NNTP-Posting-Date: Mon, 27 Dec 2010 22:43:42 +0000 (UTC) User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.3 (irix) Cancel-Lock: sha1:DXIy+apo/7RERLcVeCftIGjB7pU= Xref: g2news2.google.com comp.lang.ada:17145 Date: 2010-12-27T17:43:42-05:00 List-Id: "Randy Brukardt" writes: > They're supposed to provide a useless implementation that raises Use_Error > for most of the operations. There are a pair of Notes to that effect > (A.16(129-130)). OK, good enough. >... I don't think features should ever be designed so that > implementations have to appeal to 1.1.3(6) - my preference would be that > that paragraph not exist with the language itself sufficiently flexible > where it matters. But something like 1.1.3(6) has to exist in every language definition, at least implicitly. Computers are finite machines, so there will always be things that are "impossible or impractical", and it is impossible for any language designer to predict what that means in all cases. >...(Otherwise, implementations could leave out anything that > they want and appeal to 1.1.3(6). Well, not really. That para says "given the execution environment", not "given the compiler-writer's whim, or laziness, or lack of interest". One could claim that "if X = 0..." is impractical to implement, but of course people would laugh at that claim. >... I think that both interfaces and > coextensions are "impractical" to implement for the benefit gained, so does > that mean I can ignore them and still have a complete Ada compiler??) I definitely disagree about interfaces. I might agree about coextensions, depending on my mood on any particular day of the week. But yeah, you can implement what you like, and claim it's an Ada compiler. Whether people buy it is a question that lies outside any ISO standard. Standards are optional! The Ada standard doesn't require anybody to do anything. Still, there's a community that can decide, informally, that so-and-so compiler is an implementation of Ada 2005 (despite a few minor bugs), and such-and-such compiler is not. - Bob