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,54889de51045a215 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-10-12 11:37:59 PST Path: archiver1.google.com!news2.google.com!news.maxwell.syr.edu!skynet.be!skynet.be!newsgate.cistron.nl!amsnews01.chello.com!news-hub.cableinet.net!blueyonder!internal-news-hub.cableinet.net!news-text.cableinet.net.POSTED!53ab2750!not-for-mail User-Agent: Microsoft-Entourage/10.1.4.030702.0 Subject: Re: += in ada From: "(see below)" Newsgroups: comp.lang.ada Message-ID: References: <3F7316F7.219F@mail.ru> <49cbf610.0310070205.2937e71a@posting.google.com> <3F896BAB.6040804@comcast.net> Mime-version: 1.0 Content-type: text/plain; charset="US-ASCII" Content-transfer-encoding: 7bit Date: Sun, 12 Oct 2003 18:37:58 GMT NNTP-Posting-Host: 82.41.184.118 X-Complaints-To: abuse@blueyonder.co.uk X-Trace: news-text.cableinet.net 1065983878 82.41.184.118 (Sun, 12 Oct 2003 19:37:58 BST) NNTP-Posting-Date: Sun, 12 Oct 2003 19:37:58 BST Organization: blueyonder (post doesn't reflect views of blueyonder) Xref: archiver1.google.com comp.lang.ada:743 Date: 2003-10-12T18:37:58+00:00 List-Id: On 12/10/03 15:57, in article 3F896BAB.6040804@comcast.net, "Robert I. Eachus" wrote: > Let me jump in here. I'll also include comments by my alter ego Bob > which should sound supiously like what Bob Duff would say. ... So, Robert and/or "Bob", would it be acceptable to the Guardians Of Ada's Purity if the semantics of a new "idem" feature were to specify that: x := f(idem); could leave an arbitrary value in x in the event of a Constraint_Error being raised; thus always permitting an update-in-place implementation? -- Bill:Findlay chez Blue:Yonder dot:co:dot:uk (":" => "")