W3C home > Mailing lists > Public > public-qt-comments@w3.org > January 2008

[Bug 5288] [XQuery] XPST0005 and conditional expressions

From: <bugzilla@wiggum.w3.org>
Date: Thu, 24 Jan 2008 00:26:40 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1JHpvU-0003iw-VA@wiggum.w3.org>

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





------- Comment #4 from mike@saxonica.com  2008-01-24 00:26 -------
I think this rule is very arbitrary and unfortunate. It breaks compositionality
- if two expressions have the same static and dynamic semantics then it should
be possible to use them interchangeably. A much better rule would be:

it is a static error if the static type of the expression on the rhs of the "/"
operator is empty-sequence().

And there might be a few other contexts where one wants to apply the same rule,
e.g. to the expression in a predicate, the expression in an order by clause,
etc.
Received on Thursday, 24 January 2008 00:26:45 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 March 2012 18:14:49 GMT