[Bug 5795] CVS: Static Typing: K2-Steps-2, K2-FunctionProlog-14


zhen hua liu <zhen.liu@oracle.com> changed:

           What    |Removed                     |Added
                 CC|                            |zhen.liu@oracle.com

--- Comment #31 from zhen hua liu <zhen.liu@oracle.com>  2009-02-24 22:17:16 ---
In K2-Steps-2, the query e[928] makes a reference of a context item, however,
the input variable binding is $input-context, not context item, therefore, this
shall result as XPDY0002 errors. Furthermore, xquery spec allows implementation
do static analysis and catch and raise such error statically. However, using
static anlaysis to infer types and compute results while there are errors
detected in previous steps are not very sounded and not very well defined (at
least not covered by the xquery spec or formal semantic spec). So per working
group discussion, we close this bug as resolved.

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 Tuesday, 24 February 2009 22:17:26 UTC