W3C home > Mailing lists > Public > public-qt-comments@w3.org > April 2006

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

From: <bugzilla@wiggum.w3.org>
Date: Wed, 26 Apr 2006 04:13:00 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1FYbOe-0001jL-3x@wiggum.w3.org>

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

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