This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
4.7.3.3 Document Node Constructors Norm / rule 1 "fs:item-sequence-to-node-sequence( ... )" This function takes a single argument (of type item*), but [[ Expr ]]_Expr could result in a sequence of comma-separated ExprSingles, which would then constitute multiple args. Put [[ Expr ]]_Expr in parentheses to ensure a single arg. STA / rule 1 / premise 2 statEnv |- Type <: (element | text | processing-instruction | comment)* I think this premise will never hold. After normalization, the Expr of the constructor is a call to fs:item-sequence-to-node-sequence. So 7.1.7 dictates that the type of Expr is attribute*, (element|text|PI|comment)* which is not a subtype of (element | text | processing-instruction | comment)* as needed.
#1 fixed as suggested. #2 fixed by adding a new auxiliary function fs:item-sequence-to-node-sequence-doc which implements the semantics of the document node constructors, parallel to the fs:item-sequence-to-node-sequence for elements. - Jerome