[Python-Dev] Low-level exception invariants?

2006-05-26 Thread Tim Peters
In various places we store triples of exception info, like a PyFrameObject's f_exc_type, f_exc_value, and f_exc_traceback PyObject* members. No invariants are documented, and that's a shame. Patch 1145039 aims to speed ceval a bit by relying on a weak guessed invariant, but I'd like to make the

Re: [Python-Dev] Low-level exception invariants?

2006-05-26 Thread Guido van Rossum
+1, if you can also prove that the traceback will never be null. I failed at that myself last time I tried, but I didn't try very long or hard. --Guido On 5/26/06, Tim Peters [EMAIL PROTECTED] wrote: In various places we store triples of exception info, like a PyFrameObject's f_exc_type,

Re: [Python-Dev] Low-level exception invariants?

2006-05-26 Thread Tim Peters
[Guido] +1, if you can also prove that the traceback will never be null. I failed at that myself last time I tried, but I didn't try very long or hard. Thanks! I'm digging. Stuck right now on this miserable problem that's apparently been here forever: I changed PyErr_SetObject to start like