[bug #62036] [PATCH] Document how environments are initialized

[Dave]

Follow-up Comment #2, bug #62036 (project groff):

[comment #1 comment #1:]
> We had revisions that passed like ships in the night;

I did notice that the .ev section hadn't yet been Brandenified, but since I
didn't know when in your Texinfo slog it might get hit, I thought it was worth
supplying some missing information in the meantime.

> see attachment.

I realize this is a work in progress, but I wonder if the new text would be
clearer by more strongly differentiating between active environments, which do
operate as a stack, and the pool of defined environments, which are indexed by
identifier.  That is, saying "The current environment is at the top of the
stack" is true, but maybe "The current environment is at the top of the
active-environment stack" wouldn't then need to be partially walked back in a
footnote.

And the footnote as written in this attachment isn't entirely accurate, saying
"switching to an environment with an existing name moves it from its place in
the stack to the top."  The word "moves" indicates that it's removed from its
position in the stack, which is not the case.  An environment can be in the
stack multiple times, even adjacently.

For that matter, the stack doesn't contain environments so much as environment
_identifiers_.  That is, if an environment is in multiple places in the stack,
and you switch to it and change some of its parameters, you're changing them
throughout the stack.  If the stack contained environments themselves, they
should be immune to change until at the top.  But the stack is just of their
names.

It's a little confusing because the .ev request is always a push operation but
only sometimes a create operation.

> After applying, I plan to migrate us to "startup";

That's actually what I originally wrote in my modification, but changed it
after checking the rest of the manual's usage. #PointlessTrivia

    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?62036>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/