- From: <bugzilla@jessica.w3.org>
- Date: Sat, 20 Dec 2014 11:54:18 +0000
- To: public-qt-comments@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=27680
Bug ID: 27680
Summary: FOTY0013 vs. XPTY0004
Product: XML Query Test Suite
Version: unspecified
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P2
Component: XML Query Test Suite
Assignee: benjie.nguyen@gmail.com
Reporter: benito@benibela.de
QA Contact: public-qt-comments@w3.org
The tests hof-908 "local:f#1 eq 3" and hof-909 "number(local:f#1)" only accept
the error FOTY0013 "Raised by fn:data, or by implicit atomization, if the
sequence to be atomized contains a function item"
It seems that an implementation that performs type checking (e.g. during static
analysis) can recognize that the function item has an invalid type for the
operator/function , before doing any atomization, and thus raise XPTY0004 "It
is a type error if, during the static analysis phase, an expression is found to
have a static type that is not appropriate for the context in which the
expression occurs,..."
--
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Saturday, 20 December 2014 11:54:21 UTC