[Bug 1677] [FS] editorial: 4.12.2 Typeswitch

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


jmdyck@ibiblio.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |




------- Comment #2 from jmdyck@ibiblio.org  2006-10-04 05:26 -------
"The following normalization rules add newly created variables that must not
conflict with any variables already in scope and that are not used in any of
the sub-expressions."
    This is still fairly clunky. How about deleting:
        "and that are not used in any of the sub-expressions."
    It doesn't seem like an important point.


You didn't answer the question:
> Why not use this in the actual Core grammar?
I.e., what's the point of the current Core productions?

Specifically, replace
    [33 (Core)] TypeswitchExpr ::= ...
with
    [33 (Core)] TypeswitchExpr ::= "typeswitch" "(" Expr ")" CaseClauses
    [?? (Core)] CaseClauses ::= (CaseClause CaseClauses) | DefaultCaseClause
    [?? (Core)] DefaultCaseClause ::=
                "default" "$" VarName "return" ExprSingle
and drop [68,69,70 (Formal)]. (And change the "Formal" symbols appropriately
where they occur in rules.)


And you missed:
> "the remaining case rules are evaluated"
>     s/rules/clauses/

Received on Wednesday, 4 October 2006 05:27:09 UTC