Re: question on exceptions

[bobduff@world.std.com (Robert A Duff)]

In article <E0I7zK.E4x.0.-s@inmet.camb.inmet.com>,
Tucker Taft <stt@houdini.camb.inmet.com> wrote:
>In an exception handler, membership tests could be used to determine 
>what sort of additional information was passed along.

Yeah, I also envisioned such implementation-defined stuff.

But I want to declare the type of the attached information at the point
of the exception declaration, so that *handlers* can know for sure (at
compile time) that every *raise* of, say, The_Sky_Is_Falling will attach
(say) the current color of the sky.

The membership test isn't so awful, with appropriate comments at the
point of the exception declaration, but it *could* be done at compile
time.

- Bob