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,1044a3857acae1e1 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-01-12 10:01:53 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!newsfeed.cwix.com!newsfeed1.cidera.com!Cidera!border1.nntp.aus1.giganews.com!nntp.giganews.com!nntp3.aus1.giganews.com!bin6.nnrp.aus1.giganews.com.POSTED!news.clear.net.nz From: Craig Carey Newsgroups: comp.lang.ada Subject: Re: GNAT and NT DLL; An Ada-Comment resignation Message-ID: <69u04us5i9e22131mho6ommbltdseudi0p@4ax.com> References: <5ee5b646.0201091810.56ea996f@posting.google.com> X-Newsreader: Forte Agent 1.8/32.548 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Organization: Customer of Mercury Telecommunications Ltd Cache-Post-Path: drone4.qsi.net.nz!unknown@tnt1-222.quicksilver.net.nz X-Cache: nntpcache 2.4.0b2 (see http://www.nntpcache.org/) X-Original-NNTP-Posting-Host: drone4-svc-skyt.qsi.net.nz X-Original-Trace: 13 Jan 2002 07:01:29 +1300, drone4-svc-skyt.qsi.net.nz NNTP-Posting-Date: Sat, 12 Jan 2002 12:01:39 CST X-Trace: sv3-91LjhVsj4JNxwtbad3O/WzF+URWDZi823mlyhD7DxK5eYRz7CKnXLAs97cWiNlWj8RwzMEOc7f65uTe!YVRay5m6r38t3Xwm2OkZQLAf7MEJ2uL06dowoZF3/BLyNnA1q9hiEeLkOQh16Dpbx7ThhEdzhL4S!d+ROQQ== X-Complaints-To: abuse@GigaNews.Com X-DMCA-Notifications: http://www.giganews.com/info/dmca.html X-Abuse-Info: Please be sure to forward a copy of ALL headers X-Abuse-Info: Otherwise we will be unable to process your complaint properly Date: Sat, 12 Jan 2002 18:01:39 GMT Xref: archiver1.google.com comp.lang.ada:18829 Date: 2002-01-12T18:01:39+00:00 List-Id: On 9 Jan 2002 18:10:27 -0800, dewar@gnat.com (Robert Dewar) wrote: >Vim Pine 44 wrote in message news:... >> On Mon, 07 Jan 2002 16:19:41 GMT, Ted Dennison wrote: >> >> >> >> Below I quote some of the latest messages sent to the Ada-Comment >> mailing list, of R. R. Software's Mr Brukardt. This covers the events >> leading up to the about-to-occur unsubscribing of Mr R. >> Dewar. > > >Just for the record, the subject of this thread is either >confused or deliberately misleading. My decision to unsubscribe has >nothing whatsoever to do with the discussion of GNAT and DLL stuff. By >the way resign is a ludicrous term, this is simply a mailing list to ^ that Ada-Comment list >which people may voluntarily subscribe and unsubscribe. For ... Thanks for correcting me on that. I would not have used the word resign if I had of paused longer over the wording of the Subject field. While the Subject is inaccurate it fails to say who it is about. So it might not be misleading at all. In the body of the message, though I named you, the mistake of using that word was fixed. You suggested that the public could worsen the public Ada compiler by putting in Eiffel pre and post conditions. A problem with it is that the language is trying to get the programmer to use 2 tests per procedure when the knowledge at hand may allow only 0, 1, or 3 tests. So that Eiffelism would not be a part of Ada or Aonix Ada, but it might be part of GNAT. This Ada takes a long time to learn before people can get experienced with the reasoning. E.g. the number 2 is not especially important. I would like to have a look at our GNAT compiler (Richard's while I am referring to that other thread), and see if I can get a - \ | / - feature in. Just something like this: package Lucid is procedure R (A : Integer; B : in out Integer; C : out Integer); ... begin R (/A, |B, \C); -- syntax checked and it shows which passes in -- and out. They are optional unless a -- directive says otherwise. /Q(12) := \F; -- Not allowed since strange and not informative end Lucid; An advantage of that is the clarity each time the procedure is called. --- Craig Carey