[Bug 3646] Test results should be err:XQST0054

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

           Summary: Test results should be err:XQST0054
           Product: XML Query Test Suite
           Version: 1.0
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: jsnelson@sleepycat.com
         QAContact: public-qt-comments@w3.org


There are 4 tests which I believe should have an expected error result of
err:XQST0054. They are:

        vardeclwithtype-15
        K-InternalVariablesWith-6
        K-InternalVariablesWith-9
        K-InternalVariablesWith-15

As an example, vardeclwithtype-15 is this:

declare variable $var as xs:integer := $e +1;
declare variable $e as xs:integer := 10;

$var

And currently expects an error result of err:XPST0008. This doesn't seem to
agree with section 4.14 of the XQuery specification which states:

  The static context for an initializing expression includes all functions that
  are declared or imported anywhere in the Prolog, but it includes only those
  variables and namespaces that are declared or imported earlier in the Prolog
  than the variable that is being initialized. If an initializing expression
  cannot be evaluated because of a circularity (for example, it depends on a
  function that in turn depends on the value of the variable that is being
  initialized), a static error is raised [err:XQST0054].

Received on Friday, 1 September 2006 15:10:04 UTC