Thomas Bushnell BSG wrote:
> Also, "failing" an arity check doesn't mean that you will get any kind
> of error or exception as a result.
[...]
> So, to recap:
>
> Being told that a procedure takes, say, exactly three arguments, does
> not mean that
>   1) You won't get an error for passing three arguments;
>   2) You will get an error for passing other than three arguments.

I'm confused -- the intent of the proposal is if you apply a procedure
to a number of arguments it is reported not to accept, you will get an
error.  Why is this not the case?

David