private

Stream: general

[Reid Barton]

What's the scope of something defined as private? It seems to be larger than just the surrounding section

[Reid Barton]

And in particular is there any way for a parameter to "outlive" a private definition which uses it?

[Reid Barton]

It seems that the answer is no, because

• (apparently?) a private definition is in scope in the entire surrounding namespace block,
• a parameter must be defined inside a section,
• a namespace cannot go inside a section