This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
7.1.8 The fs:item-sequence-to-untypedAtomic function 7.1.9 The fs:item-sequence-to-untypedAtomic-PI function 7.1.10 The fs:item-sequence-to-untypedAtomic-text function 7.1.11 The fs:item-sequence-to-untypedAtomic-comment function "by applying the normative rules in [XQuery] Section 3.7.3.(2|5|4|6)" Again, lots of rules there. In each case, I think you mean the points under "The content expression of a computed [...] constructor is processed as follows". Maybe, after "normative rules", insert "for processing the content expression". "There are no special static typing rules for this function." So STA should instead treat the function as if it were a user-defined function declared with the given signature?
Fixed as suggested. The answer to the second question is yes. Added the following sentence to clarify: << Static type analysis for this function should be performed as for a built-in function declared with the given signature. >> - Jerome