[Bug 4024] ST-WhereExpr001 should not be expected to fail?

http://www.w3.org/Bugs/Public/show_bug.cgi?id=4024





------- Comment #4 from mike@saxonica.com  2006-11-28 09:24 -------
>True, but that is because the static typing rules for fn:boolean do not match
the informal description in "Functions and Operators". 

I don't understand this comment. Section 15.1.1 in F+O doesn't attempt to
describe the static typing rules for fn:boolean, even informally. It explicitly
states that the static typing rules are to be found in the Formal Semantics
document.

Received on Tuesday, 28 November 2006 09:24:17 UTC