spec copyedits

spec copyedits

BNF “syntax errors” found during [automated grammar
extraction](https://github.com/chalin/dart-spec-and-grammar). Prose
copyedits found during review.

BUG=

[Lasse Reichstein Nielsen, 2015-07-03 12:31:20]

lrn@google.com changed reviewers:
+ lrn@google.com

[Lasse Reichstein Nielsen, 2015-12-18 11:38:22]

lrn@google.com changed reviewers:
+ gbracha@google.com

[Lasse Reichstein Nielsen, 2015-12-18 11:38:22]

Just realized that I was set as reviewer here, not Gilad who would is in charge
of the spec. Sorry about that.

[gbracha, 2015-12-21 19:06:54]

Mostly ok, but one of these changes is undesirable. See comments.

https://codereview.chromium.org/1217533003/diff/1/docs/language/dartLangSpec.tex
File docs/language/dartLangSpec.tex (right):

https://codereview.chromium.org/1217533003/diff/1/docs/language/dartLangSpec....
docs/language/dartLangSpec.tex:1598: \CONST{} D.makeMap(p): w = \CONST{}
\{"help": q\}; // compile-time error
No, this comes out wrong/  Some of these changes are in fact corrections; some
are no-ops; but this one is wrong.

[Patrice Chalin, 2015-12-22 05:21:06]

https://codereview.chromium.org/1217533003/diff/1/docs/language/dartLangSpec.tex
File docs/language/dartLangSpec.tex (right):

https://codereview.chromium.org/1217533003/diff/1/docs/language/dartLangSpec....
docs/language/dartLangSpec.tex:1598: \CONST{} D.makeMap(p): w = \CONST{}
\{"help": q\}; // compile-time error
On 2015/12/21 19:06:53, gbracha wrote:
> No, this comes out wrong/  Some of these changes are in fact corrections; some
> are no-ops; but this one is wrong.

I guess that you know that in several other dartCode environments in this spec,
both the single quote character (') and the double quote character (") are used
to enclose strings rather than the use of the LaTeX conventions of `...' and
``...''. E.g.:

L3470: \CONST{} A("x"); // compile-time error
L7100     print("yoyoma");

among others. Either way is fine I suppose, but consistency would be nice. (In
most other language documents I have worked on, the LaTeX string convention is
used in prose and single/double quote characters are used in code environments.)