Zulip Chat Archive

Stream: general

Topic: private


view this post on Zulip 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

view this post on Zulip 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?

view this post on Zulip 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: May 15 2021 at 22:14 UTC