spec private class

[martijnhoekstra]

private class Foo wasn't specced anywhere.

Aligned the spec here with the implementation, which seems sensible.

[martijnhoekstra]

There is no suggested spec reviewer anymore. @SethTisue can you suggest someone (or maybe reviewing the two sentences is just as fast?)

[lrytz]

"any template" is not accurate, local definitions can't be private. Maybe also say "top-level" here?

scala> def f = { private class C; 0 }
                 ^
       error: illegal start of statement (no modifiers allowed here)

[martijnhoekstra]

Maybe split it up then?

The `private` modifier can be used with any definition or declaration in a
template. Private members of a template can be accessed only from within the
directly enclosing template and its companion module or
[companion class](#object-definitions).

The `private` modifier is also valid for
[top-level](09-top-level-definitions.html#packagings) templates. Private
top-level templates can be accessed only from within the same package.

[lrytz]

Yes I think that makes sense. I'd mark it as "Note" and only keep The `private` modifier is also valid for [top-level](09-top-level-definitions.html#packagings) templates instead of repeating it here.

[som-snytt]

This doesn't say what the semantics are; I think you deleted it in an edit.

One might imagine a top-level private class C is private to object C instead of enclosing private[p].

[lrytz]

I suggested not to repeat the semantics here, as they are defined in the linked section.

[som-snytt]

OK thanks for clarifying. I always forget to click the link. Please don't assume all your readers are so lazy.