Zulip Chat Archive

Stream: new members

Topic: open command versus namespace command


Seth Chaiken (Oct 02 2022 at 17:37):

How is "open foo" different from "namespace foo" when the namespace it targets had already been created and ended?

I see that under "open foo" (and not in namespace foo) a new name say nnn is not created as foo.nnn.

I see "open foo ..... end foo" fails. Is there any way to stop the aliasing "open foo" does, analogous to "end <namespace_name>?

Junyan Xu (Oct 02 2022 at 17:56):

I see "open foo ..... end foo" fails. Is there any way to stop the aliasing "open foo" does, analogous to "end <namespace_name>?

Enclose it in a section ... end

Junyan Xu (Oct 02 2022 at 17:57):

When open foo is in effect, foo.bar can be referred to simply as bar; it "opens" the foo namespace for use, but not for adding stuff to the namespace.


Last updated: Dec 20 2023 at 11:08 UTC