W3C home > Mailing lists > Public > public-qt-comments@w3.org > November 2006

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

From: <bugzilla@wiggum.w3.org>
Date: Tue, 28 Nov 2006 08:20:11 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1GoyCJ-0002P9-9t@wiggum.w3.org>

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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:16 UTC