"Guido" == Guido van Rossum firstname.lastname@example.org writes:
BAW> Or require that exception classes be derived from BAW> exceptions.Exception :)
Guido> That's hard to require. But it could easily be a Guido> requirement checked by one of the hypothetical typecheckers Guido> that are being discussed in the types-sig.
Hmm, the raise could probably enforce this, but it might not be that useful.