This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
In 3.2.3 Static typing judgment, this paragraph is found: "The the part after the : and before |- in the judgment below the line corresponds to some [expression/query], [...]" and in 4.7.3.3 Document Node Constructors, Static Type Analysis: "The static typing rule does not need to check that the the type of the argument expression is a sequence of element, [...]" Note the two "the" in both cases. (If this turns out to be somekind of mathematical notation, I will do something silly.) Frans
Removed the the's... Thanks for picking those up. (was very tempted to turn those into mathematical notations for a second!) - Jerome
Thanks for fix. (Glad you resisted, I have my sister in law on visit over here.)