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

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





------- Comment #2 from per@bothner.com  2006-11-28 08:20 -------
(In reply to comment #1)
> fwiw, I believe ST-WhereExpr001 can fail against the static typing rules.

True, but that is because the static typing rules for fn:boolean do not match
the informal description in "Functions and Operators".  So is the error in:
(a) Functions and Operators - and the main XQuery specification; or
(b) the Formal Semantics - and ST-WhereExpr001?

Pity the inconsistency wasn't fixed earlier.

Received on Tuesday, 28 November 2006 08:20:23 UTC