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,4c459ff0adb576bc
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-02-25 17:05:24 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!headwall.stanford.edu!fu-berlin.de!uni-berlin.de!ppp-3-6.5800-14.telinco.NET!not-for-mail
From: nickroberts@ukf.net (Nick Roberts)
Newsgroups: comp.lang.ada
Subject: Re: Refactoring and Ada
Date: Tue, 26 Feb 2002 01:05:03 GMT
Message-ID: <3c7ac606.14486291@news.cis.dfn.de>
References: <3C5AB0B7.9D75D49A@grammatech.com> <3c639940@pull.gecm.com>
 <4519e058.0202080714.1bf916bb@posting.google.com>
 <3C65BFF4.F15A07D0@earthlink.net> <a48ns8$n74$1@nh.pace.co.uk>
 <x7veljqldd6.fsf@smaug.pushface.org> <u6qrqp4dlso46f@corp.supernews.com>
 <DRxVLK5K93Eq@eisner.encompasserve.org> <u750go7j0d1v7e@corp.supernews.com>
 <G5qqkyGimkeC@eisner.encompasserve.org> <3C7324BF.996E182B@adaworks.com>
 <5ee5b646.0202231455.317a444a@posting.google.com>
NNTP-Posting-Host: ppp-3-6.5800-14.telinco.net (212.1.150.6)
X-Trace: fu-berlin.de 1014685519 7084662 212.1.150.6 (16 [25716])
X-Newsreader: Forte Free Agent 1.21/32.243
Xref: archiver1.google.com comp.lang.ada:20425
Date: 2002-02-26T01:05:03+00:00
List-Id: <comp.lang.ada>

On 23 Feb 2002 14:55:29 -0800, dewar@gnat.com (Robert Dewar) strongly
typed:

>Richard Riehle <richard@adaworks.com> wrote in message 
>news:<3C7324BF.996E182B@adaworks.com>...
>>...
>>  At present, one must wonder about the usefulness of 
>> 'Valid.
>
>That's like finding a compiler that does all multiplications by
>repeated addition and then wondering about the utility of the *
>operator in Ada.
>
>On a decent compiler, the above [use of 'Valid] works fine, and
>is a useful (and commonly used) use of 'Valid.

Hear hear!

-- 
Nick Roberts