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=0.8 required=5.0 tests=BAYES_00, GUARANTEED_100_PERCENT autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,4c459ff0adb576bc X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-02-23 15:04:25 PST Path: archiver1.google.com!postnews1.google.com!not-for-mail From: dewar@gnat.com (Robert Dewar) Newsgroups: comp.lang.ada Subject: Re: Refactoring and Ada Date: 23 Feb 2002 15:04:24 -0800 Organization: http://groups.google.com/ Message-ID: <5ee5b646.0202231504.5903c583@posting.google.com> References: <3C5AB0B7.9D75D49A@grammatech.com> <3C7324BF.996E182B@adaworks.com> NNTP-Posting-Host: 205.232.38.14 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1014505464 8000 127.0.0.1 (23 Feb 2002 23:04:24 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: 23 Feb 2002 23:04:24 GMT Xref: archiver1.google.com comp.lang.ada:20319 Date: 2002-02-23T23:04:24+00:00 List-Id: "Randy Brukardt" wrote in message news:... > I agree with this. 'Valid is (almost) useless combined > with UC, but that is true whether or not UC is erroneous > in most cases (other than [very] sparse enums and float > values) it is trivial to check before > applying UC. Yes, of course you mention the two cases in which UC/'Valid is most useful (sparse enums, and floats). And I will say it again, I recommend you choose a compiler that properly supports this in the obviuosly intended manner. Remember that if you insist on writing only code that is absolutely 100% guaranteed to run on all compilers according to a strict reading of the RM, you can't write anything at all (consider for example RM 1.1.3(3) which allows arbitrary programs to be rejected on the grounds that they are too large. RM 1.1.3(6) which allows compilers to reject anything that in the sole opinion of the implementor is deemed "impractical" to implement (certainly $ cost is a possible reason for example of something being impractical, since there is no attempt to give the word any meaning other than its ordinary meaning in english). So it is always the case that you have to choose a compiler that takes a reasonable pragmatic approach to everything, where YOU define what reasonable means! I know well this argument about UC and 'Valid, I consider it specious :-)