21315 2013-03-17 16:21:28 +0000 [XP3.0] XPDY0002 - type error or dynamic error 2013-04-16 17:21:59 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XPath 3.0 Candidate Recommendation PC All CLOSED FIXED P2 normal --- 1 mike jonathan.robie public-qt-comments oldest_to_newest 84528 0 mike 2013-03-17 16:21:28 +0000 The error XPDY0002 which occurs when the context item is absent is generally described in the XPath spec as a dynamic error but in the F+O spec as a type error. 86296 1 jonathan.robie 2013-04-16 15:34:05 +0000 For reference: err:XPDY0002 It is a dynamic error if evaluation of an expression relies on some part of the dynamic context that is absentDM30 . 86304 2 jonathan.robie 2013-04-16 16:12:40 +0000 I propose that we keep this as a dynamic error, and modify the following text: <quote> if an implementation can determine during the static analysis phase that a QueryBody <add>or FunctionBody</add>, if evaluated, would necessarily raise a dynamic error or that an expression, if evaluated, would necessarily raise a type error, the implementation may (but is not required to) report that error during the static analysis phase. <add>However, a FunctionBody should not raise such error statically simply because invoking the function would invoke fn:error().</quote> 86305 3 jonathan.robie 2013-04-16 16:21:39 +0000 I believe the status quo is that it is a dynamic error. I think our choices are: * Keep the status quo, make consistent in F&O * Change to a type error * Keep the status quo, make consistent in F&O, and allow dynamic errors to be raised statically in a function body. 86307 4 jonathan.robie 2013-04-16 16:32:19 +0000 The Working Groups have decided XPDY0002 is a dynamic error, and F&O will be changed to reflect that. We will not make the change proposed in Comment #2 during CR because it is too large a change at this stage of our progression. 86310 5 mike 2013-04-16 17:21:59 +0000 Test cases try-016 and try-017 added.