Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:93750 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 94765 invoked from network); 3 Jun 2016 14:35:27 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 3 Jun 2016 14:35:27 -0000 Authentication-Results: pb1.pair.com header.from=rowan.collins@gmail.com; sender-id=pass Authentication-Results: pb1.pair.com smtp.mail=rowan.collins@gmail.com; spf=pass; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 74.125.82.52 as permitted sender) X-PHP-List-Original-Sender: rowan.collins@gmail.com X-Host-Fingerprint: 74.125.82.52 mail-wm0-f52.google.com Received: from [74.125.82.52] ([74.125.82.52:35219] helo=mail-wm0-f52.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 21/31-22497-FA591575 for ; Fri, 03 Jun 2016 10:35:27 -0400 Received: by mail-wm0-f52.google.com with SMTP id a136so279332633wme.0 for ; Fri, 03 Jun 2016 07:35:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to:content-transfer-encoding; bh=DJx5GzX0n5+KgyMhZeJ2KI6bOpfsFXM8jKSV1bpCTE4=; b=pW70OqJJfbH1IVZT+x2xlDZK6SUlpxd7c0xvciai6+TBxEBQ1i23M/ttGfgzd8hUws 0RjoY24oQrsp9UGbuTvVx9fIKFiRvJF33zJju0Get1CWJdMyZ4ydkAoW1S3qQNAcSmlG /7+SIwIc8w3cgUHROt/eC5L5FIg1P6zCewM+H1qY9Fch3nD792D19eUofOR+1wqaZipH y1ya+GSpbjgtp4zwoW37Wci5vJ594ZEZNM+ZXd25KV6UdsXMEnIS6IDMwu2C47GB1NoE CAZEc1N+1yQ+5ulsjnXbDXqW8XXnaDnH1OnptsKO9zkMq+6DNzW3i+hxJlcjaUQfVCGO SRaw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-transfer-encoding; bh=DJx5GzX0n5+KgyMhZeJ2KI6bOpfsFXM8jKSV1bpCTE4=; b=EGVgOAyEPzu2DiZbgu4h9FsvwslCVR52bppbhvuuq3MnI0rgVuCHexcdRTqIGKKX49 M9fmS+rQ9EobeZOeDfHXlWseq93m1NgzWXi9i2ZxRn9yXfXolIsHmCdi1B91k+MVmixs iu4a98N5k23E+aF4wLZcdjJ+JCOQk0ZQ4wgxEwaASDmMV5Idbjq998FHLkJdzoG18vwL 97KBHw11L6FB8JNTFieWs8zgNlgSQ7OGbSEII/VZMnkq95JK8W6DvlFngFaN7e8PTVpB 2nrf2QRKGg5yjcXZWuDENFVS4vX+juNEyXGd4KJb6C9ulmhiIwNYU/GlIRriH60uh1zG ykFg== X-Gm-Message-State: ALyK8tLvExjOzVZmgjzudB8VeUuyc5CdT/2alN77EJVz45AsHr1nQ8kshQAxynJt0PUs2A== X-Received: by 10.194.216.33 with SMTP id on1mr3826096wjc.120.1464964523929; Fri, 03 Jun 2016 07:35:23 -0700 (PDT) Received: from [192.168.0.98] ([93.188.182.58]) by smtp.gmail.com with ESMTPSA id 75sm6727998wml.15.2016.06.03.07.35.23 for (version=TLSv1/SSLv3 cipher=OTHER); Fri, 03 Jun 2016 07:35:23 -0700 (PDT) To: internals@lists.php.net References: <0A.C5.62101.1C860575@pb1.pair.com> <68b821ac-d71f-4be5-8dca-ae94db332630@gmail.com> <20160603101659.D466A1A81FC5@dd1730.kasserver.com> <6d448fd8-8fda-d795-accb-6b96cd128ccd@gmail.com> <652fdc5a-a164-2054-ed61-305a2b72330a@gmail.com> <20160603142421.346B81A81725@dd1730.kasserver.com> Message-ID: <9814df22-9854-616b-bf02-d0742efefaff@gmail.com> Date: Fri, 3 Jun 2016 15:32:58 +0100 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:45.0) Gecko/20100101 Thunderbird/45.1.1 MIME-Version: 1.0 In-Reply-To: <20160603142421.346B81A81725@dd1730.kasserver.com> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [PHP-DEV] [RFC] [PRE-VOTE] Union types From: rowan.collins@gmail.com (Rowan Collins) On 03/06/2016 15:24, Thomas Bley wrote: > maybe easier to get a majority from voters if defining union types only in strict mode for 7.1? No go, I'm afraid. Strict types are opt-in at the point of calling the function, but union types are a feature of the declaration. If I write "function foo(int | string $a) {}", it is not up to me whether it's executed in strict mode or not. We'd have to throw an error of "function %s cannot be called without strict types enabled", and that goes against the entire premise of strict types as implemented. Regards, -- Rowan Collins [IMSoP]