Re: Exiting from a function or procedure

["Ken Garlington" <Ken.Garlington@computer.org>]

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.