Re: better error on VerifyError

[Tom Tromey <tromey at redhat dot com>]

>>>>> "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