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())