better error on VerifyError

Tue Jan 15 13:56:00 GMT 2002

>>>>> "Per" == Per Bothner <per@bothner.com> writes:

Per> The tradoff is an extra for each each type and state object vs an
Per> extra parameter in each method call. I lean towards the
Per> latter. The former probably requires fewer changes; however,
Per> however, it is easier to make the fixes on an incremental bases
Per> with the latter.
I think adding an extra parameter is fine. I tried to minimize memory
use when writing the verifier, so this would continue that idea.
There are already extra parameters passed around to avoid increasing
the size of a `state'. Unfortunately this makes ugly code.
Per> Then we can incrementally fix the callers of set_uninitialized to
Per> pass the verifier reference, and so on.
Thanks for looking at this.
Tom