[Bug 3182] [FS] editorial: 4.1.1 Literals

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

           Summary: [FS] editorial: 4.1.1 Literals
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: minor
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: jmdyck@ibiblio.org
         QAContact: public-qt-comments@w3.org


4.1.1 Literals

Notation / rule 1
"LiteralExpr has atomic value AtomicValue"
    s/LiteralExpr/Literal/

Norm / rule 2
"[[ DecimalLiteral ]]_PrologDecl"
    s/PrologDecl/Expr/ !

DEv 1 / rule 1
"IntegerLiteral has atomic value Integer"
"IntegerLiteral => Integer"
    There's no such non-terminal as Integer.
    s/Integer/Decimal of type xs:integer/

DEv
(multiple DEv rules)
    Actually, you don't need a separate DEv rule for each kind of literal.
    Just have one rule:
        dynEnv |- Literal has atomic value AtomicValue
        -----------------------------------------------
        dynEnv |- Literal => AtomicValue

Received on Wednesday, 3 May 2006 17:53:02 UTC