[Bug 4194] Static typing of validateexpr-10, validateexpr-11

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

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


The body of the validate expression is statically type checked as a
zero-or-more sequence.  Our implementation is throwing a XQTY0030 error during
type checking.  Could you please clarify whether this error should be thrown,
or is that error code to be thrown only during evaluation?  If so, presumably
XPTY0004 should be thrown by static typing implementations?




declare default element namespace "http://www.w3.org/XQueryTestOrderBy";

(: name : validateexpr-10 :)
(: description : Evaluation of a validate expression that a newly strict
validat
ed node does not have a parent (read from a file).:)

(: insert-start :)
import schema "http://www.w3.org/XQueryTestOrderBy";
declare variable $input-context1 external;
(: insert-end :)

let $var := validate strict {$input-context1/DataValues/Strings}
return
  fn:count($var/parent::node())

Received on Thursday, 11 January 2007 08:50:17 UTC