What to do about default function arguments

[Walter Bright]

On 4/26/2012 2:21 AM, Timon Gehr wrote:
> This is a matter of terminology. For example, for 'equal' just exclude the
> default parameters from the comparison. For 'the same' include default
> parameters in the comparison. (therefore, 'the same' implies 'equal')

I think this is torturing the semantics.


> The result of ?: is the type of the two arguments if they are the same, and it
> is the equal type without default arguments if they are not the same.

That's the problem - the selection of arbitrary rules.