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.
