Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:114934 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 94746 invoked from network); 17 Jun 2021 18:31:31 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 17 Jun 2021 18:31:31 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id 728AC1804C9 for ; Thu, 17 Jun 2021 11:48:34 -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-f43.google.com (mail-ej1-f43.google.com [209.85.218.43]) (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 ; Thu, 17 Jun 2021 11:48:33 -0700 (PDT) Received: by mail-ej1-f43.google.com with SMTP id my49so11658919ejc.7 for ; Thu, 17 Jun 2021 11:48:33 -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=Tti27jYiItXciHsBC7OGWyEIqWBY0/IiWmnZR+oBP4g=; b=myaGdBIgxkWClWbAs3yuHzKs5DqdBVpawGtZTFNC1bw4M4Xf/Y9ijFq3p829ZX0Dni S58HMyn4rr3D/tqs1yJHgLm/rcBnZtOW3bkTwpCmxjnC6wHS07WD76ApxVRAGB3QRRxv yQOFs5VJtaXNA16C/wdXGtG9HnQdajrNCeVP44SZXHKif2+BDAMkGmIsaBfPVlhBdLdv rQQ3hHf69hG3DYCQe0j87hWK2AGJ6Hx4ol8bUBaEWzvpV+bOJ3H9yBm2BUXYgRnWhVVp rWzTPBf5uadZKJavG3dDYSsqqOvQoVCz60fLKr8YUGVPT1HvWLyckyGX8zE9I8el/ChO 0dzg== 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=Tti27jYiItXciHsBC7OGWyEIqWBY0/IiWmnZR+oBP4g=; b=WP0V1XSLSVTHN5Op/sTN+KSmblVI68rPW7yJNCd+WUcYvIgjGiEO2g9AV5OOLI0IUn p2xBcHrJg/3rKAF8oGZcK6GzKLP5ti1JyiSjym1m7/Z1hdyJpcUajbyOtCNsBKievrj4 guWRZaCjZeh4wuV7gJ2+akibc6hjQUh8HzDkVwa+mWdLM3HGugRr3CRq+pMyc9U83czd rcSWY5rWXZVzTaQwdL15Sv8wDJufm+uxGwE8onut8DwcuPC3Mr7D2BfpQ7TpGCvGD2If 90oyaPfhLgADLGwcL08iSk6eOvXsJemzqDeyXuTZT+Mf8f2pcv/qYDQJfyVYGsn+NzJF qH2Q== X-Gm-Message-State: AOAM533bIkuVwmztP/JxvRNaL6bKyHDGm6ZERZoVPSJR7Pkw3rrg9ZO8 TM1Dw1nNVWvcr9+ofJdIveVQ+5TghMfmpr/c1nwuRRlr+k0= X-Google-Smtp-Source: ABdhPJx4EvDOUVBqrAokyAuIMHzBrm2hojWFJRI/zutBf9i3ysKtGOJGW6SR4HEgJxdQE0DfkyYxszKx+OlmOTkirrY= X-Received: by 2002:a17:906:dbf2:: with SMTP id yd18mr6570601ejb.406.1623955711565; Thu, 17 Jun 2021 11:48:31 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: Date: Thu, 17 Jun 2021 19:48:20 +0100 Message-ID: To: PHP internals Content-Type: multipart/alternative; boundary="00000000000051a3fe05c4faa7f5" Subject: Re: [PHP-DEV] [VOTE] Pure intersection types From: george.banyard@gmail.com ("G. P. B.") --00000000000051a3fe05c4faa7f5 Content-Type: text/plain; charset="UTF-8" On Thu, 3 Jun 2021 at 20:31, G. P. B. wrote: > Hello internals > > I've opened the vote for the "Pure intersection types" RFC: > https://wiki.php.net/rfc/pure-intersection-types > > It will run for 2 weeks and end on the 17th of June 2021 > > Best regards, > > George P. Banyard > The vote is now closed with 30 votes in favour and 3 against. This corresponds to a 90% approval rate meaning the RFC has been accepted. Best regards George P. Banyard --00000000000051a3fe05c4faa7f5--