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=unavailable autolearn_force=no version=3.4.4 Path: border2.nntp.dca3.giganews.com!backlog4.nntp.dca3.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!eu.feeder.erje.net!newsfeed.datemas.de!uucp.gnuu.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail Date: Sat, 26 Apr 2014 08:19:48 +0200 From: Georg Bauhaus User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9; rv:24.0) Gecko/20100101 Thunderbird/24.4.0 MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Oberon and Wirthian languages References: <1ljwj8f.1wqbhvuabsdw1N%csampson@inetworld.net> <51c7d6d4-e3be-44d5-a4ce-f7e875345588@googlegroups.com> <%J32v.70539$kp1.45343@fx14.iad> <8761m535e4.fsf_-_@ludovic-brenta.org> In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Message-ID: <535b5005$0$6700$9b4e6d93@newsspool2.arcor-online.net> Organization: Arcor NNTP-Posting-Date: 26 Apr 2014 08:19:49 CEST NNTP-Posting-Host: f736cce9.newsspool2.arcor-online.net X-Trace: DXC=Z\E:l:DUcaK6PJ?[X6JIXEA9EHlD; 3YcB4Fo<]lROoRA8kFejVHMTBeOK:9T7@OK]4>2>_SAM X-Complaints-To: usenet-abuse@arcor.de X-Original-Bytes: 2355 Xref: number.nntp.dca.giganews.com comp.lang.ada:186094 Date: 2014-04-26T08:19:49+02:00 List-Id: On 25/04/14 23:55, Randy Brukardt wrote: > This is a case where the keyword will make all of the difference. If we were > using a new keyword, perhaps something like: > > A := (A replacing C => D, E => F); > > would do the trick. Hasn't GNAT recently added something similar, http://gcc.gnu.org/onlinedocs/gnat_rm/Attribute-Update.html#Attribute-Update I'd drop the assignment altogether, if doing so reflects the intent, and people do not feel they see an expression. Thinking of 'Write as a model: T'Update (A with C => D, E => F);