W3C home > Mailing lists > Public > public-qt-comments@w3.org > December 2006

[Bug 4082] Static typing of annex-6

From: <bugzilla@wiggum.w3.org>
Date: Fri, 15 Dec 2006 13:40:43 +0000
To: public-qt-comments@w3.org
Message-Id: <E1GvDIp-0007Di-8u@wiggum.w3.org>


           Summary: Static typing of annex-6
           Product: XML Query Test Suite
           Version: 1.0.1
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: nick@cbcl.co.uk
         QAContact: public-qt-comments@w3.org

Hopefully this should be one of our last static typing problems!

In annex-6

declare function eg:index-of-node($sequence as node()*, $srch as node()) as
  for $n at $i in $sequence where ($n is $srch) return $i

let $arg1 := (<element1>some data 1</element1>,<element2>some data
let $arg2 := $arg1[2]

The second arguement of index-of-node has type node(), which it must do for $n
is $srch to type check.

But $arg2 has quantifier zero-or-one (section 7.2.13 of the FS) hence the
function call fails to static type check.
Received on Friday, 15 December 2006 13:41:08 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:16 UTC