Re: spec verbosity and algorithms

Boris Zbarsky wrote:
> On 1/22/10 11:43 AM, Julian Reschke wrote:
>> This seems to be equivalent with
>>
>> "Two origins A and B are said to be the same if they are of identical
>> type (opaque identifier or tuple), and all of their components have
>> identical values.".
> 
> It's not.  Your phrasing makes all opaque identifier origins (which have 
> no "components") the same.

Of course the intent was to consider that a component.

> I do agree that less verbose is nice, if it can be done without losing 
> correctness and clarity, though.

Indeed.