W3C home > Mailing lists > Public > public-qt-comments@w3.org > September 2005

[Bug 1964] New: [FS] technical: 5.14 Variable Declaration: missing type-check

From: <bugzilla@wiggum.w3.org>
Date: Fri, 02 Sep 2005 00:24:51 +0000
To: public-qt-comments@w3.org
Message-Id: <E1EAzMR-00006Z-GY@wiggum.w3.org>


           Summary: [FS] technical: 5.14 Variable Declaration: missing type-
           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

5.14 Variable Declaration

SCP / rule 2
    XQuery 4.14 says "If a variable declaration includes both a type and
    an expression, the value returned by the expression must match the
    declared type...". Thus, this rule should have something like
        statEnv |- Expr : Type2
        Type2 <: Type
    This will presumably involve splitting the rule into two, since the
    conclusion's "(:= Expr | external)" doesn't always provide a binding
    for Expr.
Received on Friday, 2 September 2005 00:24:53 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:08 UTC