[Bug 4401] [FS] validate strict expressions and err:XQDY0084

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





------- Comment #1 from jmdyck@ibiblio.org  2007-03-26 12:00 -------
(In reply to comment #0)
> 
> However, XQDY0084 is a dynamic error and should only be raised when the
> validate expression is executed.

No, it can also be raised during static analysis: "if an implementation can
determine during the static analysis phase that an expression, if evaluated,
would necessarily raise a type error or a dynamic error, the implementation may
(but is not required to) report that error during the static analysis phase."
[XQuery 2.3.1].

> Should a static typing implementation raise a static type checking exception in
> this case or raise XQDY0084 during typechecking?

I believe it's not obliged to raise any error (for this condition) during
static analysis, but if it does, the error must be XQDY0084.

However, since the Formal Semantics document does not specify errors by name, I
believe this issue would be more appropriately filed/resolved under the
"XQuery" component.

Received on Monday, 26 March 2007 12:00:46 UTC