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,38fc011071df5a27
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-06-02 06:46:27 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!proxad.net!proxad.net!news-hub.cableinet.net!blueyonder!internal-news-hub.cableinet.net!news-binary.blueyonder.co.uk.POSTED!53ab2750!not-for-mail
User-Agent: Microsoft-Entourage/10.1.1.2418
Subject: Re: Ideas for Ada 200X
From: Bill Findlay <yaldnifw@blueyonder.co.uk>
Newsgroups: comp.lang.ada
Message-ID: <BB011381.2FAE%yaldnifw@blueyonder.co.uk>
References: <6a90b886.0305262344.1d558079@posting.google.com>
 <VjOAa.16051$8g5.257873@news2.e.nsc.no> <3ED41344.7090105@spam.com>
 <3ED46D81.FF62C34F@0.0> <3ED46E07.4340CABC@0.0>
 <3ED4F3FD.A0EF7079@alfred-hilscher.de> <xIeBa.1017346$3D1.597085@sccrnsc01>
 <bebbba07.0305292326.75f5fbef@posting.google.com> <u4r3co12f.fsf@nasa.gov>
 <mdlpnoN$6E7R@eisner.encompasserve.org>
 <slrnbdm69r.nt.lutz@taranis.iks-jena.de>
Mime-version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-transfer-encoding: 7bit
Date: Mon, 02 Jun 2003 14:45:21 +0100
NNTP-Posting-Host: 80.195.75.181
X-Complaints-To: abuse@blueyonder.co.uk
X-Trace: news-binary.blueyonder.co.uk 1054561587 80.195.75.181 (Mon,
 02 Jun 2003 13:46:27 GMT)
NNTP-Posting-Date: Mon, 02 Jun 2003 13:46:27 GMT
Organization: blueyonder (post doesn't reflect views of blueyonder)
Xref: archiver1.google.com comp.lang.ada:38340
Date: 2003-06-02T14:45:21+01:00
List-Id: <comp.lang.ada>

On 2/6/03 10:30, in article slrnbdm69r.nt.lutz@taranis.iks-jena.de, "Lutz
Donnerhacke" <lutz@iks-jena.de> wrote:

> * Larry Kilgallen wrote:
>> In article <u4r3co12f.fsf@nasa.gov>, Stephen Leake <Stephe.Leake@nasa.gov>
>> writes:
>>> What is wrong with having a style guide that says:
>>> 
>>> "If you have statements like
>>>    production_total( total_class ).shift( shift_index ) :=
>>>       production_total( total_class ).shift( shift_index ) + count;
>>> 
>>> you must write an appropriate Increment function, and use it instead"
>>> 
>>> Problem solved; no need for language change or compiler support.
>> 
>> Alternatively, would a renaming declaration work ?
> 
> Yes.

Not always, unfortunately.
There are restrictions on the lvalues that can be renamed,
e.g. objects of anonymous type and some discriminated type components
(I can't remember the details, but I'm sure someone can 8-).

The 'idem, <>, all' proposal adds real power here.

-- 
Bill-Findlay chez blue-yonder.co.uk ("-" => "")

BTW The UK Beagle 2 Mars probe is sitting atop a Soyuz rocket at Baikonur
waiting for a launch this evening. It is controlled by an open-source
(ERC32) computer programmed in Ada 95 using an open-source (GNAT) compiler.
Let's wish it luck, and hope it suffers no unbounded priority inversions (or
Constraint_Errors 8-) !