From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-3.3 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, MAILING_LIST_MULTI,RCVD_IN_DNSWL_MED,UNPARSEABLE_RELAY autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 29695 invoked from network); 27 Dec 2020 18:28:02 -0000 Received: from zero.zsh.org (2a02:898:31:0:48:4558:7a:7368) by inbox.vuxu.org with ESMTPUTF8; 27 Dec 2020 18:28:02 -0000 ARC-Seal: i=1; cv=none; a=rsa-sha256; d=zsh.org; s=rsa-20200801; t=1609093682; b=E2KbSRGt58n2DC6dHYzZEKmtKjbYkhRjACe2YlBHIa9VerKOqarWTh7nS/BesaXsjiCc1OiQuQ KnqIAUjnvMbHoUX0eT39HXAaQhvGLyXl2s9n84Smu8sohxKxZyGsiYxtvYBriftaCAXlvJ/Neu FJcInh87ykK51CuY9q59Y+daU74a8DwSzN6+KjyN2gDjYbquHFz7Z7hu7XLyzitMhWO19v/i+P 7Y6qpb4xL4mSuA3Ehcgh6nAEeo2l8lwc1UEpgBr/CnFIkgGe27mNNbfitvIyFibb8XELau8s3b x9WPu/S80nUYZDita9w6L7fjMjQPqBpbyDCHw+iM3P0/Ww==; ARC-Authentication-Results: i=1; zsh.org; iprev=pass (mail-oi1-f175.google.com) smtp.remote-ip=209.85.167.175; dkim=pass header.d=brasslantern-com.20150623.gappssmtp.com header.s=20150623 header.a=rsa-sha256; dmarc=none header.from=brasslantern.com; arc=none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed; d=zsh.org; s=rsa-20200801; t=1609093682; bh=9MnNw/c9kFXd6j29YPnX5SFei/nETo7O2lrfLtVZDzs=; h=List-Archive:List-Owner:List-Post:List-Unsubscribe:List-Subscribe:List-Help: List-Id:Sender:Content-Type:Cc:To:Subject:Message-ID:Date:From:In-Reply-To: References:MIME-Version:DKIM-Signature:DKIM-Signature; b=pX7iZW66a6PO2ZdDIPPTtjp0FFmA4qm3mu48FjDPE3FCvgmOeunKcrz/O6RSf4mKnYgG0aTqsG STZAxgX065cAysi/oPpoNlyMiP9J70Ga3llsW9djxjBF3W686Rgm2eT49t1vtSJzsWgs90OaOj WCr7UXMuDBnzlZnzHroCKZvNH6fxkxCc524BT/xYONq74J4V4F9tUMN3dPzkwbsYyx99JKPC9P lZAhuGXYmjzxgwPB7oJND3HkQBEoAYaX4elJqHjG6fusKIj5ccguwS2mSERMRVtipt62YnFaZX 0lFaZsW331dyWihfMN3VsPDA2C/SeZjgkSDeI9p9UNOmog==; DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=zsh.org; s=rsa-20200801; h=List-Archive:List-Owner:List-Post:List-Unsubscribe: List-Subscribe:List-Help:List-Id:Sender:Content-Type:Cc:To:Subject:Message-ID :Date:From:In-Reply-To:References:MIME-Version:Reply-To: Content-Transfer-Encoding:Content-ID:Content-Description:Resent-Date: Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID; bh=821rV4YowK62IZtWtZFxLAO28Z6QmDulxaSg33bW5bg=; b=K7sljC33W9Bp49rcB5pGw5iaK8 CYUnK/5pZF81vNbihqWc3B8i95V1CvC9pnHUi8Ur0uIBn/6ynjPoB4HbNQJAA94vlSSEUabh36TKa IxOKEABy7WFATwY9EznIPETe8SafWh7RTEqDZJwSdhZY9slVNLOjXQ3SeO0fa94ix929LtXnyVcEy V5iJNOJRdLVaGpt3ixox4CBGolIDNw0i7iAnsaS/XkqqmFCqvBehE5HTBr9ji8XlZl/n5CCEecSVS uk24uQGvwDBTyHWRV2tVdttISMy7db+J3Wc+rer5/i/1gaxQvpcUl02tK7Rs5eVTtcRvo5YJLI406 iPS8eSWQ==; Received: from authenticated user by zero.zsh.org with local id 1ktals-0005CE-Es; Sun, 27 Dec 2020 18:28:00 +0000 Authentication-Results: zsh.org; iprev=pass (mail-oi1-f175.google.com) smtp.remote-ip=209.85.167.175; dkim=pass header.d=brasslantern-com.20150623.gappssmtp.com header.s=20150623 header.a=rsa-sha256; dmarc=none header.from=brasslantern.com; arc=none Received: from mail-oi1-f175.google.com ([209.85.167.175]:35357) by zero.zsh.org with esmtps (TLS1.3:TLS_AES_128_GCM_SHA256:128) id 1ktalU-00053C-GQ; Sun, 27 Dec 2020 18:27:38 +0000 Received: by mail-oi1-f175.google.com with SMTP id s2so9551797oij.2 for ; Sun, 27 Dec 2020 10:27:36 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=brasslantern-com.20150623.gappssmtp.com; s=20150623; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=821rV4YowK62IZtWtZFxLAO28Z6QmDulxaSg33bW5bg=; b=cpkJEGEMHy+m+o6Cpz59mBi8XcClYYec3Mbd24KbluxPwNhWDjr806WDIEym7xW9zE hAbftImyeSzwo0NAYR8ASz4f64QXoopBGGW60oaxL//aBFpN4EnPJcr6T+eH5UsvKpRd YqXMvXr0Vujwis2V+2TYtMxzQw/wCU6FepLItWAr1von27Z9awaJJvFoKm6OBQepbIjR jAIL6ZxOWf6Ts6k0bgeEFWkft9vpGrC6wXmV/Rjzpx8eHOA6u96Mp/TrFIPRG9UFYV1b O/ACFPJN6/7VJS6PlTkAaBsTx0Ge0oKhL/OIsCYQmdStNN7PmszuSfKGDPNkQkudgOBl F81Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=821rV4YowK62IZtWtZFxLAO28Z6QmDulxaSg33bW5bg=; b=X52Z3cyp3aRTqTaADAABnNM7ORYlyQcVcR3kYww6YBfX14ldsh+gygPELXSEwsQDph zVNXacaVpzRwTGFp5KLPW5vDWAllKZdfxP2zCYascpNsYOX9d+L1UVj6TyX1nnSuciZY Yq4p1C28fLnl7oh+L/CYS//oS4q1P76O8hi/RfUNT0ttUxI8zueT5yWiu86kONXSx8MF O9mkdXAeBZkES+ulUJwklIxwe4J9YDimpxiWBbE8+GEOnqhELv61yGjV2In+ORpxwrmw 9Ts9EUvvZFlEk/Y4d6JHdqhQHPftZzsV/2D9My7G4oDJ4jKFHFogoeJlfMMwdAap2OZl bgQw== X-Gm-Message-State: AOAM5325wa4fqp+TqnVu93qL8XYyAhBxY/BBfWizFOUxz6FYd49jDOeA vlLPNulhMkxpZ5XBHAtl3clQ92PyDHYukg4bWdL0zA== X-Google-Smtp-Source: ABdhPJxkUUx5o8wbSj8kPX+uzpZodWUTWoRISMX/6/Eo4iyvlSw7QkoF7BCoO5WaWb3f24x+kJP0jyx9ay0AXbb7n2U= X-Received: by 2002:aca:75cc:: with SMTP id q195mr10319729oic.173.1609093654307; Sun, 27 Dec 2020 10:27:34 -0800 (PST) MIME-Version: 1.0 References: <20201223234711.492603-1-felipe.contreras@gmail.com> In-Reply-To: <20201223234711.492603-1-felipe.contreras@gmail.com> From: Bart Schaefer Date: Sun, 27 Dec 2020 10:27:23 -0800 Message-ID: Subject: Re: [PATCH] declarednull: felipec's approach To: Felipe Contreras Cc: "zsh-workers@zsh.org" Content-Type: text/plain; charset="UTF-8" X-Seq: 47760 Archived-At: X-Loop: zsh-workers@zsh.org Errors-To: zsh-workers-owner@zsh.org Precedence: list Precedence: bulk Sender: zsh-workers-request@zsh.org X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: On Wed, Dec 23, 2020 at 3:47 PM Felipe Contreras wrote: > > This patch merges Bart's approach with my approach, and should be > applied on top of the branch declarednull. Thanks Filipe, I'll take a closer look at this. > In my branch it's actually called PM_NULL because I think semantically > makes more sense. [...] > > Why would this > > local var > var=foobar > > remove PM_DELCARED? I was never especially happy with PM_DECLARED as a name, the real semantic is "not (yet) assigned" but I couldn't think of a short/one-word description of that. > Additionally it's not clear why unset should clear the PM_DECLAREDNULL > flag. Because "not (yet) assigned" + "(currently) unset" doesn't mean the same thing as "(explicitly) unset", in the ksh/bash examples. Yes, it would have been enough from the bit value standpoint to clear just PM_DECLARED (since we're about to re-assert PM_UNSET anyway), but I thought that made the purpose less clear when reading the code. > I added a test that shows a discrepancy I found (${(t)var}) Ah, thanks, I forgot to go back and revisit that case. There's no ksh/bash equivalent of (t) so I never reached a conclusion on what the correct behavior should be.