[Bug 1668] [FS] technical: 4.8.1 FLWOR expressions: non-parameterized normalization

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


jmdyck@ibiblio.org changed:

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




------- Comment #4 from jmdyck@ibiblio.org  2006-10-03 20:05 -------
The 2006-06 CR has a few errors relative to my suggestion:

In Norm / rule (1|2), *above* the '==',
    [[ FormalReturnClause ]]_Expr
should be just
    FormalReturnClause

In Norm / rule 1, below the '==', after
    [[ Exprn ]]_Expr
insert "return".

In Norm / rule 2, below the '==', in
    return Expr [[ FormalReturnClause ]]_Expr
delete the first 'Expr'.

Also:

You replaced my suggested symbol name 'FLWORExpr_or_return' with
'FormalReturnClause', which I don't think is an improvement. It would be a good
name for the
    "return" Expr
phrase (if that needed a name), so isn't that great for the more general
    FormalFLWORExpr | ("return" Expr)
How about 'FormalInnerFLWORExpr' or 'FormalFLWORExprInner'?


In [66 (Formal)] and throughout 4.8.*, each 'Expr' should really be an
'ExprSingle' (not including 'Expr' in []_Expr subscripts).

Received on Tuesday, 3 October 2006 20:06:09 UTC