This is one of a few issues reporting minor concerns regarding  The Scala Language Specification, as supplied with 2.3.3.



Section 2 (cosmetic)  Section reference should appear as a number

"
Names are introduced by local definitions and declarations (§4), inheritance
(srefsec:members), import clauses (§4.7), or package clauses (§9.2) which
are collectively called bindings.
"

I suspect (srefsec:members) might refer to a section that was renamed or removed.



5.3.3

Is it clearly specified that MixinParents must all be traits?

Section 5.1 "Each trait reference mti must denote a trait" applies to classes and objects but not to traits.



6.15 (Optional)

Perhaps whileLoop should change from

if (cond) { body ; while(cond)(body) } else {}

to

if (cond) { body ; whileLoop(cond)(body) } else {}


Currently while and whileLoop have mutually recursive definitions - this is needlessly complex.

Alternately, perhaps  while(cond)(body)  should be  while (cond) body  for consistency with  while (e1) e2.



9.3

This program can be started by either of the commands
scala test.HelloWorld
...

should perhaps be

This program can be started by the command
scala test.HelloWorld
...



HelloWorld can also be defined without without a main method

should be

HelloWorld can also be defined without a main method