What to do about default function arguments

[Timon Gehr]

On 04/26/2012 08:56 PM, Walter Bright wrote:
> 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.

It is not entirely arbitrary. Anyway, point taken.