Argument matching

[David Mandelin]

Lars Hansen wrote:
> I would expect excess arguments to typed functions to be ignored
> silently,
> as they can be picked up by 'arguments' inside the function.
>
>   
Is there any possibility of making whether a function takes extra 
arguments part of its type? It seems kind of unfortunate not to be able 
to report an error when too many args are given, which is a pretty 
common mistake and usually indicates a bug.

Dave