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.dca.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!eu.feeder.erje.net!news-1.dfn.de!news.dfn.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Oberon and Wirthian languages
Date: Sat, 26 Apr 2014 09:42:24 +0300
Organization: Tidorum Ltd
Message-ID: <bs12qaFl1ejU1@mid.individual.net>
References: <1ljwj8f.1wqbhvuabsdw1N%csampson@inetworld.net>
 <51c7d6d4-e3be-44d5-a4ce-f7e875345588@googlegroups.com>
 <li9g34$9q8$1@dont-email.me> <%J32v.70539$kp1.45343@fx14.iad>
 <lic17o$re4$1@dont-email.me> <8761m535e4.fsf_-_@ludovic-brenta.org>
 <lj3540$m81$1@dont-email.me> <lj3nao$u22$2@dont-email.me>
 <lj4de1$jql$1@dont-email.me> <ly7g6hamsw.fsf@pushface.org>
 <lj5n4g$jse$1@dont-email.me> <brntbeFnfgcU1@mid.individual.net>
 <lj6kfg$jhs$1@dont-email.me> <lj6uhp$7dd$1@loke.gir.dk>
 <lj8aug$43b$1@dont-email.me> <ly61lzrciv.fsf@pushface.org>
 <lj9lbm$cig$1@dont-email.me> <brsggrFmd3gU1@mid.individual.net>
 <ljbmfm$j7u$1@dont-email.me> <brt9ftFrnkaU1@mid.individual.net>
 <ljce8q$qpb$1@loke.gir.dk> <ljekbl$bbt$1@dont-email.me>
 <ljeljn$sb3$1@loke.gir.dk>
 <535b5005$0$6700$9b4e6d93@newsspool2.arcor-online.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
X-Trace: individual.net yDDi0ZqVo3pSJrYLSuYvNg+nNf0NnC21OQH/hLWIXT0i9dG9UX
Cancel-Lock: sha1:K7cYz9Y+CsrCz1Q8LNlRwgL/kQ0=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8;
 rv:24.0) Gecko/20100101 Thunderbird/24.4.0
In-Reply-To: <535b5005$0$6700$9b4e6d93@newsspool2.arcor-online.net>
Xref: number.nntp.dca.giganews.com comp.lang.ada:186098
Date: 2014-04-26T09:42:24+03:00
List-Id: <comp.lang.ada>

On 14-04-26 09:19 , Georg Bauhaus wrote:
> 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

Interesting. There does seem to be a need for this kind of thing, then.

However, the GNAT implementation does not allow changing discriminants,
which was the main use-case that Randy told of in the Janus/Ada
compiler. It seems a reasonable limitation to me.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
      .      @       .