W3C home > Mailing lists > Public > public-qt-comments@w3.org > June 2011

[Bug 13028] [XQUF] Error in static typing rules for replace node Expr1 with Expr2

From: <bugzilla@jessica.w3.org>
Date: Thu, 23 Jun 2011 13:17:44 +0000
To: public-qt-comments@w3.org
Message-Id: <E1QZjmy-0008Hl-DP@jessica.w3.org>

--- Comment #1 from Tim Mills <tim@cbcl.co.uk> 2011-06-23 13:17:44 UTC ---
On a related note, the specification states that XUDY0027 is raised if the
result of evaluating the target expression is an empty sequence.

Why is this not a type error, and why do the static typing rules not prevent

Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Thursday, 23 June 2011 13:17:46 UTC

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