[Bug 13298] Clean the grammar of unnecessary trivial productions

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

Jonathan Robie <jonathan.robie@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Severity|normal                      |trivial

--- Comment #4 from Jonathan Robie <jonathan.robie@gmail.com> 2011-07-19 17:02:03 UTC ---
(In reply to comment #3)
> In my opinion any of the two solutions in the end of my initial comment is
> good:
> 1. Remove all unnecessary productions or
> 2. Add the missing ones

I believe this is largely a matter of editorial taste. Accordingly, I am
marking this as editorial.

When the text is difficult to write without a clearly named production, it
makes sense to add such a production for the sake of the description of that
particular expression. If an expression can be clearly described without adding
such a production, there is no need to add one.

Jonathan

-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Tuesday, 19 July 2011 17:02:09 UTC