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.