Zulip Chat Archive

Stream: general

Topic: private

Reid Barton (Dec 01 2018 at 14:09):

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

Reid Barton (Dec 01 2018 at 14:15):

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

Reid Barton (Dec 01 2018 at 14:16):

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

Last updated: Aug 03 2023 at 10:10 UTC