Re: Variadic functions and dynamic function calls

> 
> My thinking is that the last argument to an array-variadic function is either an array, or the item-type it is an array over. That is, a function reference name#arity where arity is the number of parameters in the array-variadic function is a union-of(array(T), T). For function matching rules, this would mean that the last parameter can either be an array(T) or T.

The problem is, it can be both. For example if T = array(*), and you supply `[[]]` then the supplied argument satisfies both array(T) and T. So we can't use the dynamic type of the argument to resolve the ambiguity.

Michael Kay
Saxonica