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=0.3 required=5.0 tests=DKIM_SIGNED,DKIM_VALID,
	MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H3,
	RCVD_IN_MSPIKE_WL,RDNS_NONE,UNPARSEABLE_RELAY autolearn=no
	autolearn_force=no version=3.4.4
Received: from authenticated user by zero.zsh.org with local 
	id 1kioF2-0007EY-5i; Sat, 28 Nov 2020 00:37:32 +0000
Authentication-Results: zsh.org;
	iprev=pass (mail-ot1-f54.google.com) smtp.remote-ip=209.85.210.54;
	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-ot1-f54.google.com ([209.85.210.54]:38686)
	by zero.zsh.org with esmtps (TLS1.3:TLS_AES_128_GCM_SHA256:128)
	id 1kioEd-0006zf-S2; Sat, 28 Nov 2020 00:37:08 +0000
Received: by mail-ot1-f54.google.com with SMTP id h39so6094212otb.5
        for <zsh-workers@zsh.org>; Fri, 27 Nov 2020 16:37:07 -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;
        bh=9hCaj3XJzRBVSO90y/3wcH5g5GXB8a+L99idHr9PDbI=;
        b=rlueMSZ37rjLiMmLNwEunKhmLd3d63P1daHjNuKGsOUtU7UxwN9xUfM0ZvVHZbqFui
         yckC3J4S0LRxabY3iZ29aEDH0EhJiYLRo0B8zE4Go5r30s/6ZcQd0XTXKzgO0+VqtOHi
         ReWDM0L/qRa+Nqarc3j9XPXrD7/kePGFysThb2J8PUPlj0YUZwAIMumlpxiLxu4KfK3m
         IoSZcS62Ry882NnRf0e4Y2GxD3fjjGxU0EMRAsKT/BTj9B3pZnf7WqWIleQsXwIzrFQp
         D3KURYfWP1VNpMNx9mhAvZtlfFIH9OoqaCerFe+8S7RX96Xt/G/kIN5Wst4Djerj5iF1
         WxVg==
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;
        bh=9hCaj3XJzRBVSO90y/3wcH5g5GXB8a+L99idHr9PDbI=;
        b=II9837PrThOcSd29wgxetnLwmuDZrgsL5aY0Ra8ZBy/QOqRvJKavTYu7s6vhqJbgUn
         kqZMUtIYzB/2Meqj7WbOCrlii0KaY5BVav2kz/ZJnPavQqjNflw8LoTUixTZh+n+WWom
         FB8j5D321mbRQmJ9hSRtM9gCoLxxzDva/Jccs6h3giRjMKyQR+V2Sf8hui3U2+9WmWoX
         jTIhDVCnZeWqOTaiaPX0HZXdQk9DdzbPuCa/94k+/zOtl8EvpoWnIzywjsNxSn5oOggB
         tHlY5EB9dV7G8ABno9GOAIUlDaEm58A5EwK3KMzXebhy7kZJNfIR0JHsYDNdsVYeKBnh
         ZUiQ==
X-Gm-Message-State: AOAM530O7oJ1AX10LrTFbNElJoKanXLVLX/Dh6/fm2w8ssptWZ0pyaNC
	UUT3IrXKpGU96YMGcqHyajq/6J+zAM8YZcrBRsDA3c0F5fY=
X-Google-Smtp-Source: ABdhPJzbR09XkH7RUlgXzxWy5tukyuTrRImEsjJ+WbkGUa3D8xA+QCYWdVSFGUyzCXyHt74J3xMf83/np9se1WhVUlc=
X-Received: by 2002:a9d:470c:: with SMTP id a12mr8109988otf.161.1606523826128;
 Fri, 27 Nov 2020 16:37:06 -0800 (PST)
MIME-Version: 1.0
References: <CAH+w=7Zag5MG5D=cRS2UMSsqJ0t=iw5MH9j8=HBO1Q77nbs03w@mail.gmail.com>
 <20201125131921.vay7h3xk5qn4odgg@chazelas.org> <CAMP44s0-ki=TBzTwnqx10FcTLX4mbphwN88UCx0+h97JTecBWA@mail.gmail.com>
 <CAH+w=7bs9E7whJLugMLOXG05R-2S8Hjt+OOKK_KN+SMxv-Vvaw@mail.gmail.com>
 <CAMP44s2Ge-pOn1-gEXkq=oJX7ohL-b_20s9mJZAo1LB=ow+Duw@mail.gmail.com>
 <CAH+w=7bHCrpwbkZBOgwjwF7M9uo+1_ZEa53hxSwE2fuuBuQfyw@mail.gmail.com>
 <CAMP44s0WSt_J7TjyPEKvH9TxzWBvTVFTB-pK26G+9SacYeQrAw@mail.gmail.com>
 <CAH+w=7YtBvrpuXUM=MuHVRuBjf8uiRozKLJsHvYXJr9Cx=J-rQ@mail.gmail.com>
 <CAMP44s3s0dXtirZhi5e_Tir+3KKn2Kw4hseEj0uH12a7HB5Y=Q@mail.gmail.com>
 <CAH+w=7ZVthOMB=jJ+KkU1WipL2mbCgD69HfUtxGnu6Mbx1rOog@mail.gmail.com>
 <CAMP44s2ZJg75KEh+vL+EUOgJUF+oB6TLn5-1h55ktcKR67ZeJg@mail.gmail.com>
 <CAH+w=7arBoRxmFRH7wL_Sh-0tRe1Xyo_GKze+jkSdvYep7NMWg@mail.gmail.com>
 <CAMP44s1i6uC72LhqGmt_hg-YUoFtJTKcC6o2qTGLHZJ3tB56CA@mail.gmail.com>
 <CAH+w=7ZxhRr1TYFe_SuKaT5TKsceh7RDTeQ-hfcZF08ctWeTvg@mail.gmail.com> <CAMP44s1Vb7BLHMaJTVwA=y1X3+UuocA3PGCuGVJRDMHAaG7zwg@mail.gmail.com>
In-Reply-To: <CAMP44s1Vb7BLHMaJTVwA=y1X3+UuocA3PGCuGVJRDMHAaG7zwg@mail.gmail.com>
From: Bart Schaefer <schaefer@brasslantern.com>
Date: Fri, 27 Nov 2020 16:36:55 -0800
Message-ID: <CAH+w=7aQ_pNqHtgEqV6s02Z+V6Aih2g8hebMbjxHgdYJVKXYFQ@mail.gmail.com>
Subject: The emulation rabbit-hole RE typeset/unset
To: Zsh hackers list <zsh-workers@zsh.org>
Content-Type: text/plain; charset="UTF-8"
X-Seq: 47687
Archived-At: <https://zsh.org/workers/47687>
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: <zsh-workers.zsh.org>
List-Help: <mailto:sympa@zsh.org?subject=help>
List-Subscribe: <mailto:sympa@zsh.org?subject=subscribe%20zsh-workers>
List-Unsubscribe: <mailto:sympa@zsh.org?subject=unsubscribe%20zsh-workers>
List-Post: <mailto:zsh-workers@zsh.org>
List-Owner: <mailto:zsh-workers-request@zsh.org>
List-Archive: <http://www.zsh.org/sympa/arc/zsh-workers>
Archived-At: <http://www.zsh.org/sympa/arcsearch_id/zsh-workers/2020-11/CAH%2Bw%3D7aQ_pNqHtgEqV6s02Z%2BV6Aih2g8hebMbjxHgdYJVKXYFQ%40mail.gmail.com>

On Fri, Nov 27, 2020 at 4:00 PM Felipe Contreras
<felipe.contreras@gmail.com> wrote:
>
> This is a bit tautological, because if the variable is unset, it can't
> be anything else but a string: param_is_unset(p) ->
> param_type_is_string(p).

This is manifestly not true in ksh and bash, because:

[[ ${foo-nil} = nil ]] implies foo is unset
{ typeset -i foo } declares foo is an integer, not a string
function ff { typeset -i foo; echo ${foo-nil}; } outputs nil

Do we care whether zsh emulates this?