zsh-workers
 help / color / mirror / code / Atom feed
From: Bart Schaefer <schaefer@brasslantern.com>
To: Felipe Contreras <felipe.contreras@gmail.com>
Cc: Zsh hackers list <zsh-workers@zsh.org>
Subject: Re: More rabbit-holes with unset variables
Date: Fri, 27 Nov 2020 12:01:03 -0800	[thread overview]
Message-ID: <CAH+w=7ZtX6TCN4m445b0OdY0oPZMZZcF-NGJ-bdvbMxj_0rrBw@mail.gmail.com> (raw)
In-Reply-To: <CAMP44s3NYQA3OSvdEBQ5bNG2O2+w0U3USUvBP7Mi-3urhuKYzg@mail.gmail.com>

My use of "rabbit holes" has been even more prophetic than I expected.
(Ironically, spellcheck wants to correct that to "pathetic".)

On Thu, Nov 26, 2020 at 5:51 PM Felipe Contreras
<felipe.contreras@gmail.com> wrote:
>
> On Thu, Nov 26, 2020 at 6:23 PM Bart Schaefer <schaefer@brasslantern.com> wrote:
> >
> > The point is that the exported value DOES NOT exist in this example;
> > if you were to look at the C global "environ" array following "export
> > FOO", it would not have (a pointer to a string containing) "FOO" in
> > it.
>
> How do you know?

By paying attention to context?

We're not talking about Oliver's example at this point, we're talking
specifically about the case where "export FOOBAR" creates a global
variable that did not exist before.  If it did previously exist, then
the internal and environment namespaces would be the same.  The only
way for them to differ is when FOOBAR did not already exist.

> You used precisely this argument when I brought up this example:

Not the same, because the behavior of export vs. local (typeset in
function context) is not the same; the latter always creates a new
variable, and that variable doesn't inherit from scope.

> The inconsistency between the internal and external value *only*
> happens in zsh, and it most definitely exists.

I have never denied that.  What I said was that if you never leave
zsh, you can't tell.  That you can tell by forking off /bin/sh is
because of the way the internal and external namespaces are managed,
not because of the way the internal namespace works, and I'm
unsuccessfully attempting to keep this thread focused on the latter.

> To be consistent, either these two are the same:
>
>   typeset -x FOO
>   typeset -x FOO=""
>
> Or these two are different:
>
>   typeset FOO
>   typeset FOO=""

In the internal namespace, and starting from a name FOO that's never
been used/does not appear in the process environment, in zsh all of
these do the same thing:

declare FOO
local FOO
export FOO

To use Daniel's "${verb}s a variable" from the other thread, ${verb}
is 'creates an internal parameter to represent'.  The entirety of
these two discussion threads is supposed to be about when it is
appropriate for that to have a default value, and what it means for it
not to; currently it always has one.

Specifically for "export" there are two additional requirements:
1) If the variable already exists with a value, then variable=value is
added to the environment.
2) If a value is later assigned to the variable, then variable=value
is added to the environment.

Neither of those requirements is met under the stated conditions, so
nothing is added to the environment.  This is entirely separate from
whether there is a default.

Again starting from a previously nonexistent FOO, all of these are
also the same:

declare FOO=anything
local FOO=anything
export FOO=anything

These explicitly do two things:  First ${verb}, and then assign.  So
for export, the second additional requirement is met, and
variable=value is added to the environment.

Is there an inconsistency from the viewpoint of an omniscient
observer?  Yes.  As a practical matter, can either a script written
entirely in zsh, or an external program invoked from zsh,
independently discern this inconsistency?  No.

I'm done with responses about export behavior on this thread except
when directly related to the treatment of default values.



  reply	other threads:[~2020-11-27 20:01 UTC|newest]

Thread overview: 40+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-11-25  7:02 Bart Schaefer
2020-11-25 13:19 ` Stephane Chazelas
2020-11-25 22:17   ` Felipe Contreras
2020-11-26  6:10     ` Stephane Chazelas
2020-11-26  7:20       ` Felipe Contreras
2020-11-26 11:21         ` Oliver Kiddle
2020-11-26 11:29           ` Roman Perepelitsa
2020-11-26 19:08             ` Felipe Contreras
2020-11-26 19:29           ` Felipe Contreras
2020-11-26 21:13           ` Bart Schaefer
2020-11-26 21:31             ` Felipe Contreras
2020-11-26 23:29               ` Bart Schaefer
2020-11-26 23:32                 ` Bart Schaefer
2020-11-26 23:53                 ` Felipe Contreras
2020-11-27  0:23                   ` Bart Schaefer
2020-11-27  1:51                     ` Felipe Contreras
2020-11-27 20:01                       ` Bart Schaefer [this message]
2020-11-27 21:49                         ` Felipe Contreras
2020-11-27 22:06                           ` Bart Schaefer
2020-11-27 23:35                             ` Felipe Contreras
2020-11-26 22:07       ` Bart Schaefer
2020-11-26 20:41     ` Bart Schaefer
2020-11-26 20:49       ` Stephane Chazelas
2020-11-26 21:20       ` Felipe Contreras
2020-11-26 22:41         ` Bart Schaefer
2020-11-26 23:45           ` Felipe Contreras
2020-11-27  0:09             ` Bart Schaefer
2020-11-27  0:30               ` Felipe Contreras
2020-11-27  0:51                 ` Bart Schaefer
2020-11-27  1:30                   ` Felipe Contreras
2020-11-27 20:54                     ` Bart Schaefer
2020-11-27 22:10                       ` Felipe Contreras
2020-11-27 22:39                         ` Bart Schaefer
2020-11-28  0:00                           ` Felipe Contreras
2020-11-28  0:04                             ` Bart Schaefer
2020-11-28 10:52                               ` Felipe Contreras
2020-11-28  0:36                             ` The emulation rabbit-hole RE typeset/unset Bart Schaefer
2020-11-28 11:35                               ` Felipe Contreras
2020-11-28 16:56                                 ` Bart Schaefer
2020-12-01  8:49                                   ` Felipe Contreras

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='CAH+w=7ZtX6TCN4m445b0OdY0oPZMZZcF-NGJ-bdvbMxj_0rrBw@mail.gmail.com' \
    --to=schaefer@brasslantern.com \
    --cc=felipe.contreras@gmail.com \
    --cc=zsh-workers@zsh.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://git.vuxu.org/mirror/zsh/

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).