Slight rewording of compile-time errors for switch cases, for clarity. No semantic change.

Slight rewording of compile-time errors for switch cases, for clarity. No semantic change.

R=rmacnak@google.com

Committed: https://code.google.com/p/dart/source/detail?r=28418

[rmacnak, 2013-10-09 20:54:43]

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

https://codereview.chromium.org/26650006/diff/1/docs/language/dartLangSpec.te...
docs/language/dartLangSpec.tex:13: \tableofcontents
Stray whitespace.

https://codereview.chromium.org/26650006/diff/1/docs/language/dartLangSpec.te...
docs/language/dartLangSpec.tex:4774: \item instances of a class that implements
\cd{int} or \cd{String}, for all $k \in 1..n$.
I read this as allowing mixture of ints and Strings.

Consider
* All instances of a class or classes that implement int
* All instances of a class or classes that implement String

("or classes" covers mixing Smi/Mint/Bigint)

https://codereview.chromium.org/26650006/diff/1/docs/language/dartLangSpec.te...
docs/language/dartLangSpec.tex:4780: It is a compile-time error if the class $C$
has an implementation the operator $==$ other than the one inherited from
\code{Object} unless the value of the expression is a string or an integer.
has an implementation with the operator ==

[gbracha, 2013-10-09 21:01:50]

PTAL

[rmacnak, 2013-10-09 21:13:28]

lgtm

[gbracha, 2013-10-09 21:17:30]

Committed patchset #3 manually as r28418 (presubmit successful).