W3C home > Mailing lists > Public > public-qt-comments@w3.org > May 2009

[Bug 6914] New: [XQTS] ST-WhereExpr001, ST-WhereExpr002 and statictyping-7 should expect XPTY0004 and not FORG0006

From: <bugzilla@wiggum.w3.org>
Date: Mon, 18 May 2009 10:53:11 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-6914-523@http.www.w3.org/Bugs/Public/>
http://www.w3.org/Bugs/Public/show_bug.cgi?id=6914

           Summary: [XQTS] ST-WhereExpr001, ST-WhereExpr002 and
                    statictyping-7 should expect XPTY0004 and not FORG0006
           Product: XML Query Test Suite
           Version: unspecified
          Platform: PC
        OS/Version: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: oliver@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


ST-WhereExpr001 is as follows:

for $file in ($input-context//Folder)[1]/File
where ($file, 1)
return $file/FileName

the where predicate is normalized to
fn:boolean(($file, 1))

$file has static type element File of type xs:untyped, and 1 has type
xs:integer

The sequence ($file, 1) therefore has static type [FS 4.1]
(element File of type xs:untyped, xs:integer)

This does not satisfy the rule given for fn:boolean [FS 7.2.4]

Thus, I believe in static typing mode, XPTY0004 is the only reasonable result.


Similar for ST-WhereExpr002 and statictyping-7.


-- 
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 Monday, 18 May 2009 10:53:21 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 March 2012 18:14:57 GMT