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 X-Google-Thread: 103376,e26ffba340697f29 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-06-18 22:22:00 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!newsfeed00.sul.t-online.de!t-online.de!news-lei1.dfn.de!news.uni-jena.de!not-for-mail From: Carsten Freining Newsgroups: comp.lang.ada Subject: Re: Type Conversion in an Assignment Statement Date: Tue, 19 Jun 2001 07:23:46 +0200 Organization: Friedrich-Schiller-University Jena, Germany Message-ID: <3B2EE1E2.13C46846@informatik.uni-jena.de> References: <3B2DB8B9.1A26F90F@informatik.uni-jena.de> NNTP-Posting-Host: ipc208.inf.uni-jena.de Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Trace: fsuj29.rz.uni-jena.de 992928120 24321 141.35.14.247 (19 Jun 2001 05:22:00 GMT) X-Complaints-To: news@rz.uni-jena.de NNTP-Posting-Date: 19 Jun 2001 05:22:00 GMT X-Mailer: Mozilla 4.73 [de] (WinNT; U) X-Accept-Language: de Xref: archiver1.google.com comp.lang.ada:8880 Date: 2001-06-19T05:22:00+00:00 List-Id: Ted Dennison schrieb: > In article <3B2DB8B9.1A26F90F@informatik.uni-jena.de>, Carsten Freining says... > >This is a correct program. I thought it would raise a constraint_error, > > You shouldn't ever *count* on a constraint check for proper operation of your > code. They can be unexpectedly removed or moved around on the whim of the > compiler or user (via pragma suppress or a command-line parameter). I usually wouldn't. I am the Tutor of an Ada-course. Just simple things and I needed some Exercises for accesstypes. This Example is really interesting and tricky, because it is not that obvious. But then, as long as there is no proof for this in the Ada LRM it could possibly be the Compiler with a bug. So you can't *count* on anything, without a proof that makes the facts clear. But we don't have to teach this stuff to the next Generation, well, not from the start. Carsten Freining. -- ---------------------------------------------------------------------------- Carsten Freining e-Mail: freining@informatik.uni-jena.de Tel. 03641 9 46344 Adresse: Friedrich-Schiller-Universit�t Jena Fakult�t f�r Mathematik & Informatik Institut f�r Informatik Lehrstuhl f�r Programmiersprachen und Compiler D-07740 Jena, Germany ----------------------------------------------------------------------------