Re: Problem with current validate macros

[Mikael Djurfeldt]

Mikael Djurfeldt <[EMAIL PROTECTED]> writes:

> I propose that we let SCM_MAKE_VALIDATE take a fourth argument which
> is the expected type in plain English.

If we could, somehow, store the signature with the primitives, and
look it up at errors, that would be even better.