[Bug 1661] New: [FS] editorial: 4.7.3.3 Document Node Constructors

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

           Summary: [FS] editorial: 4.7.3.3 Document Node Constructors
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: jmdyck@ibiblio.org
         QAContact: public-qt-comments@w3.org


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.

Received on Saturday, 16 July 2005 07:43:13 UTC