Re: Exception types?

[Matthew Heaney <matthew_heaney@acm.org>]

"Jean-Pierre Rosen" <rosen.adalog@wanadoo.fr> writes:

> Therefore it is clear that *catching* an exception can only be done with
> statically defined exception names. Therefore, the only remaining
> interesting thing that could be done with "exception variables" would be
> raising. But this is now available with the package Ada.Exceptions.
> Therefore, there is no need to add these features to the language.

True, but you gotta admit the syntax for raising an exception with a
message attached is a bit heavy:

   if <I/O failed> then
      Raise_Exception (IO_Error'Identity, "CRC check failed");
   end if;

It just seems hipper to be able to say

   if <I/O Failed> then
      raise IO_Error ("CRC check failed");
   end if;

I'm sure the language design team considered things like this, and am
equally sure they had good reasons to reject it.  Nice to fancy, though,
huh?