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,3b637950a34ec2d6 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-05-15 11:12:41 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!feed2.news.rcn.net!rcn!newsfeed1.earthlink.net!newsfeed.earthlink.net!stamper.news.pas.earthlink.net!newsread2.prod.itd.earthlink.net.POSTED!not-for-mail Message-ID: <3CE2A511.7280F214@acm.org> From: Jeffrey Carter X-Mailer: Mozilla 4.7 [en] (Win98; U) X-Accept-Language: en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Discriminated record question References: <2d87db3f.0205080210.34726bf3@posting.google.com> <5ee5b646.0205081856.63e2639e@posting.google.com> <2d87db3f.0205150734.47a94f8d@posting.google.com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Wed, 15 May 2002 18:12:40 GMT NNTP-Posting-Host: 63.184.17.94 X-Complaints-To: abuse@earthlink.net X-Trace: newsread2.prod.itd.earthlink.net 1021486360 63.184.17.94 (Wed, 15 May 2002 11:12:40 PDT) NNTP-Posting-Date: Wed, 15 May 2002 11:12:40 PDT Organization: EarthLink Inc. -- http://www.EarthLink.net Xref: archiver1.google.com comp.lang.ada:24108 Date: 2002-05-15T18:12:40+00:00 List-Id: Mark Doherty wrote: > > > > Does the compiler have the freedom to raise it as a > > > Constraint_Error? > > > > Highly dubious if you ask me. Report it as a bug. > > > > Rational responce was ... > [Justification deleted.] > > Seems like a weak justifcation to me! This is a case of the compiler being "correct but irritating". This is related to compilers that are "correct but useless". In the latter case, saying "Thank you. Your compiler is correct, but is unsuitable for our needs. We are therefore evaluating other compilers for our project." generally gets the vendor to sing a different tune. If you can honestly say this to your vendor you may suddenly find yourself possessed of an update that raises Storage_Error. But since this is only irritating, not useless, it may not be worth the effort. -- Jeff Carter "Go and boil your bottoms." Monty Python & the Holy Grail