Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:114679 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 78333 invoked from network); 31 May 2021 14:57:05 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 31 May 2021 14:57:05 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id 8ED5E1804D8 for ; Mon, 31 May 2021 08:09:52 -0700 (PDT) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on php-smtp4.php.net X-Spam-Level: X-Spam-Status: No, score=-2.1 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,HTML_MESSAGE, RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_PASS autolearn=no autolearn_force=no version=3.4.2 X-Spam-Virus: No X-Envelope-From: Received: from mail-ej1-f47.google.com (mail-ej1-f47.google.com [209.85.218.47]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by php-smtp4.php.net (Postfix) with ESMTPS for ; Mon, 31 May 2021 08:09:52 -0700 (PDT) Received: by mail-ej1-f47.google.com with SMTP id g20so1688667ejt.0 for ; Mon, 31 May 2021 08:09:52 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=HbsPPkjcoNPOqnON6JESNWQsWjX/549k/In7KBaA+Vs=; b=b6ahV7g2KaadKJE/UdmOcejAqy821Gjj6QWpF5m06KQp/k4kYWrxUAxQfGYI0lXkkk LFsKTPwtExAw3PDBNd3xqIF9c0KQ7umepOHLY4h3rqd7rYbwyYkqMdudNdp5r6DifdYe dT/hT8Vlndg2geOEg1KhnN/ijuXAo/pt+tU0rxuAHLDI7nJIxjA18QKzOnFMXIZq1sev FG/c/c7+Ktu02pfaE6x5reXtU3ct/kcpRcNg9YPBvO0t+lGLbjLQ1SoWkvW8j33BtR40 skuOArWeMhXGP1ehRS2GrdqRcdEZRh8VxOy3grp06XPepCwMKm8oxie0/Ao2pQ/fVLRp zGeQ== 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=HbsPPkjcoNPOqnON6JESNWQsWjX/549k/In7KBaA+Vs=; b=UOthvwN01JdSOUnpUdZtY21COuuWcblGWT8uM/RXffjWvWJ5QI8FnOHlrWaigFWIKF EOPH3LqqiDlNmfxoUAHmxQzs9nIUSrk+wAdhXlkCQoHVO5tzxLsPHYHDZZ/EkcyHRa6j FdbPtLRigmVdqUDHk2vIE6vdBRAz+xWhdMCNheasM4TD62SiP3NGYt2vsWsB22gcsNFx Du3FVN7zf8vy7Ledf1alG2rxGYrSlV2zkgBL4aqLx7wXI+CKCh0T8wGTODqChH3+SV4j 7gepUxKO6kuYfNoyr1mrFVaH+wIuq4RYsb4atQKNLDVllOSHVsTPxRi/t+zaNlppQLRT NKIw== X-Gm-Message-State: AOAM532eeiJb85cmxxCNM4RvWk1uAQRoU3NFMKslG+9o5Dfn0ON4iDoF 2vhUN6X/EuArhZ/yUKQGuqPANTUVzew2ChXR/2HZ1O4Hc3k= X-Google-Smtp-Source: ABdhPJxc/9t+8+St5ZELolAd0S0f994DmG4LmcFfqx/amv/4K009Az38C9c4wCZM0Q3MMwZoS5sx6ljrs0pflGUm/+0= X-Received: by 2002:a17:906:5f92:: with SMTP id a18mr9450225eju.25.1622473790175; Mon, 31 May 2021 08:09:50 -0700 (PDT) MIME-Version: 1.0 References: <624d7ea6-f9e3-4f0a-baea-9da15a75fdb0@www.fastmail.com> In-Reply-To: Date: Mon, 31 May 2021 16:09:39 +0100 Message-ID: To: php internals Content-Type: multipart/alternative; boundary="000000000000ebbd7e05c3a19d4b" Subject: Re: [PHP-DEV] [RFC] Pure intersection types From: george.banyard@gmail.com ("G. P. B.") --000000000000ebbd7e05c3a19d4b Content-Type: text/plain; charset="UTF-8" Hello, It has been two weeks since my last email and the only thing which has come up are the tokenizer changes pointed out by Tyson. To preserve BC I've aliased T_AMPERSAND with T_AMPERSAND_FOLLOWED_BY_VAR_OR_VARARG This is also reflected in the RFC: https://wiki.php.net/rfc/pure-intersection-types I plan on opening voting on Wednesday. Best regards, George P. Banyard --000000000000ebbd7e05c3a19d4b--