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.2 required=5.0 tests=BAYES_00,FROM_WORDY, INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,dabd2d2ffbcf1daa X-Google-Attributes: gid103376,public From: "Ken Garlington" Subject: Re: Exiting from a function or procedure Date: 2000/04/22 Message-ID: #1/1 X-Deja-AN: 614294894 References: <8ds3qe$q2d$1@nnrp1.deja.com> X-Priority: 3 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6600 X-Complaints-To: abuse@flash.net X-Trace: news.flash.net 956409976 216.215.75.211 (Sat, 22 Apr 2000 08:26:16 CDT) Organization: FlashNet Communications, http://www.flash.net X-MSMail-Priority: Normal NNTP-Posting-Date: Sat, 22 Apr 2000 08:26:16 CDT Newsgroups: comp.lang.ada Date: 2000-04-22T00:00:00+00:00 List-Id: Everything Dr. Dewar said, plus this: * Ledgard's book was pretty minimal with respect to explaining Ada83, and of course it doesn't address all of the capabilities now available in the current version of Ada (and supported by GNAT). When you get past the basics, try to find some time to explore the "bigger picture" with a more recent reference. * You've defined what should happen if your exponents are unequal. Have you considered what (if anything) should happen if the sum of the coefficients will be too big to fit in the range of the result? See the description of CONSTRAINT_ERROR in sections 10.1 and 10.3 of Ledgard. Also, one other note: For GNAT, the statement "the program terminates with a nice message saying that the exception... was unhandled" is probably true. However, I don't think the standard requires "a nice message." If you want your program to behave nicely (and consistently) when compiled with any compiler, you will need to define that behavior within the program.