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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,54889de51045a215
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-10-12 01:24:11 PST
Path: 
 archiver1.google.com!news2.google.com!news.maxwell.syr.edu!uio.no!ntnu.no!not-for-mail
From: Preben Randhol <randhol+valid_for_reply_from_news@pvv.org>
Newsgroups: comp.lang.ada
Subject: Re: += in ada
Date: Sun, 12 Oct 2003 08:24:10 +0000 (UTC)
Organization: PVV
Message-ID: 
 <slrnboi3tb.ho.randhol+valid_for_reply_from_news@kiuk0152.chembio.ntnu.no>
References: <3F7316F7.219F@mail.ru>
 <slrnbno8gc.mc.randhol+valid_for_reply_from_news@kiuk0152.chembio.ntnu.no>
 <slrnbnoaek.oa.lutz@taranis.iks-jena.de> <lzwubns4v8.fsf@cts.com>
 <bebbba07.0310061641.2ec215c6@posting.google.com>
 <49cbf610.0310070205.2937e71a@posting.google.com>
 <slrnbo5afo.o7.lutz@taranis.iks-jena.de>
 <BBA885C7.5DECA%yaldnifb@blueyonder.co.uk>
 <bebbba07.0310071422.5af7850f@posting.google.com>
 <slrnbo7afh.1rc.randhol+valid_for_reply_from_news@kiuk0152.chembio.ntnu.no>
 <bebbba07.0310091107.6c0c3716@posting.google.com>
 <slrnboco8m.gq.randhol+valid_for_reply_from_news@kiuk0152.chembio.ntnu.no>
 <g56dnc0OA7_TOBWiU-KYvg@gbronline.com>
Reply-To: randhol+valid_for_reply_from_news@pvv.org
NNTP-Posting-Host: kiuk0152.chembio.ntnu.no
X-Trace: tyfon.itea.ntnu.no 1065947050 27887 129.241.83.78 (12 Oct 2003
 08:24:10 GMT)
X-Complaints-To: usenet@itea.ntnu.no
NNTP-Posting-Date: Sun, 12 Oct 2003 08:24:10 +0000 (UTC)
User-Agent: slrn/0.9.8.0 (Linux)
Xref: archiver1.google.com comp.lang.ada:717
Date: 2003-10-12T08:24:10+00:00
List-Id: <comp.lang.ada>

On 2003-10-12, Wes Groleau <groleau@freeshell.org> wrote:
> There is NOT a requirement in the RM that += not
> alter the value of any variable when an exception
> occurs.  There is no requirement in the RM that "+="

No, but for := it is.

Preben