[Bug 1804] [FS] editorial: E.1.4.2 Erases

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





------- Comment #18 from jmdyck@ibiblio.org  2006-04-26 04:12 -------
(In reply to comment #17)
> 
> (a) I want to confirm that indeed the Formal Semantics specification has been
> written with the intent that non-terminals do not participate in the 'syntactic
> object' they described.

(I can't help thinking that whoever wrote "syntax tree" in 3.2.1 and 3.2.3 did
not intend that interpretation.)

> (b) We do not have any concrete evidence that the current interpretation is
> broken.

Okay, here's some. Consider the query body:
    1 + 2 * 3
Under your interpretation, this matches the left-hand side of
4.4 / Norm / rule 1:
    Expr1 ArithOp Expr2
in two different ways:
    Expr1 = 1      ArithOp = +  Expr2 = 2 * 3
    Expr1 = 1 + 2  ArithOp = *  Expr2 = 3
leading (ultimately) to two different values, only the first of which is
correct.

Received on Wednesday, 26 April 2006 04:13:09 UTC