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,3a414836333dfef7 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-01-16 03:48:12 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!bnewspeer01.bru.ops.eu.uu.net!bnewsifeed01.bru.ops.eu.uu.net!bnewspost00.bru.ops.eu.uu.net!emea.uu.net!read.news.fr.uu.net!not-for-mail Message-ID: <3C45687A.CF50F70C@gnat.com> Date: Wed, 16 Jan 2002 12:48:10 +0100 From: Arnaud Charlet X-Mailer: Mozilla 4.76 [en] (X11; U; Linux 2.4.2-2 i686) X-Accept-Language: en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Elaboration in GNAT References: <1006952193.650930@edh3> <5ee5b646.0111281125.7e9fbca3@posting.google.com> <1010151875.216658@edh3> <5ee5b646.0201041650.208d0918@posting.google.com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit NNTP-Posting-Host: bonn.act-europe.fr X-Trace: 1011181691 read.news.fr.uu.net 24010 212.157.227.132 X-Complaints-To: abuse@fr.uu.net Xref: archiver1.google.com comp.lang.ada:18964 Date: 2002-01-16T12:48:10+01:00 List-Id: << True, but is it not also the case that these bugs are relatively innocuous? That is, if you forget your pragmas, then your program usually blows up during elaboration (and you fix it), or else it doesn't blow up (using this compiler). That is, it's more of a *portability* problem, than a problem of programs malfunctioning when users use them. >> If you have library level tasks, that's definitely not true, since you can have subtle race conditions. And when you go from version n to version n+1 of your favorite compiler, you need to go and chase these bugs again. Arno