From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <zsh-workers-return-39655-mason-zsh=primenet.com.au@zsh.org>
Received: (qmail 8213 invoked by alias); 16 Oct 2016 16:40:39 -0000
Mailing-List: contact zsh-workers-help@zsh.org; run by ezmlm
Precedence: bulk
X-No-Archive: yes
List-Id: Zsh Workers List <zsh-workers.zsh.org>
List-Post: <mailto:zsh-workers@zsh.org>
List-Help: <mailto:zsh-workers-help@zsh.org>
X-Seq: 39655
Received: (qmail 21132 invoked from network); 16 Oct 2016 16:40:39 -0000
X-Qmail-Scanner-Diagnostics: from mail-qk0-f173.google.com by f.primenet.com.au (envelope-from <schaefer@brasslantern.com>, uid 7791) with qmail-scanner-2.11 
 (clamdscan: 0.99.2/21882. spamassassin: 3.4.1.  
 Clear:RC:0(209.85.220.173):SA:0(0.8/5.0):. 
 Processed in 0.783025 secs); 16 Oct 2016 16:40:39 -0000
X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on f.primenet.com.au
X-Spam-Level: 
X-Spam-Status: No, score=0.8 required=5.0 tests=DATE_IN_PAST_12_24,
	T_DKIM_INVALID autolearn=no autolearn_force=no version=3.4.1
X-Envelope-From: schaefer@brasslantern.com
X-Qmail-Scanner-Mime-Attachments: |
X-Qmail-Scanner-Zip-Files: |
Received-SPF: none (ns1.primenet.com.au: domain at brasslantern.com does not designate permitted sender hosts)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=brasslantern-com.20150623.gappssmtp.com; s=20150623;
        h=mime-version:in-reply-to:references:from:date:message-id:subject:to;
        bh=tqEwP4c+ppbuWocuVNoguelccS/Xly7nyB4GTLZ5McA=;
        b=FHrRkRaXeh6u2rb63EUiyah82Vcjl3F5UudXFk6h5rNqlt7GOzv1MyptIeo/N5dFpL
         OFuTkrF8wI05pNxlUf/HjlwgPX8ghTSAY/0bq/qyvrt1bjvNfSwCYYn+8HhNUb5YSm4U
         Jzfn3s30k+T4biFfF+ON9CiA7KuZcAmJrX45raMw0D7iMQVzcvO0A6fEJaj0DN98Ad+S
         oT+JrWs8kkXlO/yHwSUqOjEwHpBHsUwRlD3ioD85vDaw/nIPlgFRPvNM4xQ+c7U40wWB
         yF78ZXhSpu9DWUKL5VfpZJ1Vg1KONXgXPYe43tLvj24dBIeoMejBsew3IO019bUlU4LB
         Q5EA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:mime-version:in-reply-to:references:from:date
         :message-id:subject:to;
        bh=tqEwP4c+ppbuWocuVNoguelccS/Xly7nyB4GTLZ5McA=;
        b=NdV+q8QstpLshqZWGrQ8VLKxkmr9lY88WNc7SFlqMaHM/0FrdvXVv9Lc5DSe3ai12o
         CGnvCBPY0mksn6uCt2cIv/+VLMACXld6v2k0w5Vf6EzRVn3TxGrfPVd35XXkF0iOEtCJ
         FPPvYpt/ytG6zzRzGQScZ2whAiq7pBnL+S/xHkS7sai8D+au9qk5BxgJrQeNVakL81pa
         bnOGg+ycqD6vRS3HCf3ZnBBYAR6yeNdQqDfVDP8RMXuYBe2zfYcFSkPiqk/r7NcYAayo
         jaLfMBFC6vmoDHmdU8qGzKn2IfKcVYY+DJmnoBx4ic/Xyw4+/VnkuT0xdGnhyr6q4Ou4
         DL/A==
X-Gm-Message-State: AA6/9RlTz0Y1rtladrzmLVIgCRHBusjSSCVctNlggsnLPJub5tOZAoCP/hi7CWgMbTmF+desxe55hVe/DSdEWQ==
X-Received: by 10.55.20.106 with SMTP id e103mr3156239qkh.4.1476556510658;
 Sat, 15 Oct 2016 11:35:10 -0700 (PDT)
MIME-Version: 1.0
In-Reply-To: <CAH+w=7bONQfKge=kWwFasKNXSu7510d8c+1aoYEeyUbozf_P7A@mail.gmail.com>
References: <CAKc7PVB=485r3nRz_pP3A-k-oq2pOp5qYUK7pE1VEApXb0pR1g@mail.gmail.com>
 <CAKc7PVDof_GEuoSv7pg8c1=spXfDkWopP5VR8dVHg-bxXVES1g@mail.gmail.com>
 <CAKc7PVCRtBBVONgiExopYYUv7x4-HN_QEYk-05aoqZihiCRgMw@mail.gmail.com>
 <CAH+w=7a7jc0Q2=M9aG5mttbazxfsHB-Cz=WwJzCvz_SdnbApRw@mail.gmail.com>
 <CGME20161011065321eucas1p22afaabbe1f17f26a1b3507619ed1d96f@eucas1p2.samsung.com>
 <20161011065105.GB16819@fujitsu.shahaf.local2> <20161013112251.329c0dbf@pwslap01u.europe.root.pri>
 <CAH+w=7ZArSYVkjcrbAmkeiWsmpiufbj9+DeNhORgKtYEXEkn7Q@mail.gmail.com>
 <20161014063625.GC11115@fujitsu.shahaf.local2> <37947.1476486298@hydra.kiddle.eu>
 <20161015083040.GA4462@fujitsu.shahaf.local2> <CAH+w=7bONQfKge=kWwFasKNXSu7510d8c+1aoYEeyUbozf_P7A@mail.gmail.com>
From: Bart Schaefer <schaefer@brasslantern.com>
Date: Sat, 15 Oct 2016 11:35:10 -0700
Message-ID: <CAH+w=7awf46tuXY_4=XnO3Q13Lg-Ynp8qXs2vwGxb=y8vnP2AQ@mail.gmail.com>
Subject: Fwd: type-checking for metafiedness? (was: Re: Cores almost on demand
 in patcompile())
To: Zsh hackers list <zsh-workers@zsh.org>
Content-Type: text/plain; charset=UTF-8

[My apologies if this has appeared before, I got an error the first
time it doesn't seem to have come back to me through the list yet.]

On Sat, Oct 15, 2016 at 1:30 AM, Daniel Shahaf <d.s@daniel.shahaf.name> wrote:
>
> Does anyone have a way to get type checking that doesn't involve
> adding .v everywhere?

Wouldn't it suffice to use
  typedef char *unmeta_t;
  typedef unsigned char *meta_t;

(or the reverse if we believe we're mostly going to be working on
meta_t).  If we do that and also enable the GCC warnings -Wtype-limits
-Wconversion -Wformat-signedness would we not get adequate verbosity
without changing pointer arithmetic and dereferencing?

I hadn't even considered all the places where using a struct would
change memory allocation strategy.  Oof.