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: Wed, 29 Nov 2006 00:24:34 +0000
To: public-qt-comments@w3.org
Message-Id: <E1GpDFa-0003Xy-IA@wiggum.w3.org>


------- Comment #6 from mrys@microsoft.com  2006-11-29 00:24 -------
There is a bit of "standard" history behind that behaviour. There is really no
good semantic meaning for fn:boolean on heterogeneous sequences. E.g.,
fn:boolean((<a/>, false()))... should that be true, false? So some people
wanted this to be an error (especially since it is also being used in the
context of predicates as the implied semantics). Other people that have runtime
semantics, did not want to evaluate 2000 values before hitting the
heterogeneity and wanted a more performant semantics. So we decided, as a
compromise, to make this a static error, but have efficient, dynamic semantics
for the implementations, that do not do static analysis.
Received on Wednesday, 29 November 2006 00:24:42 UTC

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