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