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=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI autolearn=unavailable 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-13 16:38:59 PST Path: archiver1.google.com!news2.google.com!news.maxwell.syr.edu!newsfeed.vmunix.org!newsfeed.stueberl.de!teaser.fr!enst.fr!melchior!cuivre.fr.eu.org!melchior.frmug.org!not-for-mail From: "Alexandre E. Kopilovitch" Newsgroups: comp.lang.ada Subject: Re: += in ada Date: Tue, 14 Oct 2003 03:36:27 +0400 (MSD) Organization: Cuivre, Argent, Or Message-ID: References: <3F89F4E9.7050601@comcast.net> NNTP-Posting-Host: lovelace.ada-france.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: melchior.cuivre.fr.eu.org 1066088238 94089 80.67.180.195 (13 Oct 2003 23:37:18 GMT) X-Complaints-To: usenet@melchior.cuivre.fr.eu.org NNTP-Posting-Date: Mon, 13 Oct 2003 23:37:18 +0000 (UTC) To: comp.lang.ada@ada-france.org Return-Path: In-Reply-To: <3F89F4E9.7050601@comcast.net>; from "Robert I. Eachus" at Mon, 13 Oct 2003 00:42:58 GMT X-Mailer: Mail/@ [v2.44 MSDOS] X-Virus-Scanned: by amavisd-new-20030616-p5 (Debian) at ada-france.org X-BeenThere: comp.lang.ada@ada-france.org X-Mailman-Version: 2.1.2 Precedence: list List-Id: Gateway to the comp.lang.ada Usenet newsgroup List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Xref: archiver1.google.com comp.lang.ada:793 Date: 2003-10-14T03:36:27+04:00 Robert I. Eachus wrote: > > 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? > > Robert would say no, Bob would say yes. The ARG would spend a couple of > hours discussing it and not change the current situation. ;-) In other > words, right now IF you need to you can write things so that x won't get > corrupted. Also you will normally get the fastest possible code > generated. It is only when those two principles collide that there is > an issue. Robert was happier with the Ada 83 rules. Bob prefers the > Ada 95 rules. But in 90+ percent of the cases where Constraint_Error > can occur, there are no practical differences between the rules. Isn't it exactly one of the situations for which pragmas exist? Both sides have their good arguments (which are adequate for different circumstances), battlefield is isolated, and collisions are relatively rare. Why not (as all these conditions are established) introduce a pragma and thus close the issue? Alexander Kopilovitch aek@vib.usr.pu.ru Saint-Petersburg Russia