Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:83154 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 39820 invoked from network); 19 Feb 2015 07:49:36 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 19 Feb 2015 07:49:36 -0000 Authentication-Results: pb1.pair.com smtp.mail=mike.php.net@gmail.com; spf=pass; sender-id=pass Authentication-Results: pb1.pair.com header.from=mike.php.net@gmail.com; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 74.125.82.179 as permitted sender) X-PHP-List-Original-Sender: mike.php.net@gmail.com X-Host-Fingerprint: 74.125.82.179 mail-we0-f179.google.com Received: from [74.125.82.179] ([74.125.82.179:46001] helo=mail-we0-f179.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 79/92-22021-E8595E45 for ; Thu, 19 Feb 2015 02:49:35 -0500 Received: by wesw62 with SMTP id w62so5573670wes.12 for ; Wed, 18 Feb 2015 23:49:31 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:message-id:date:from:user-agent:mime-version:to:subject :references:in-reply-to:content-type:content-transfer-encoding; bh=JM0Vpt7VDOZ4cfR9llLPFRTtAxYylSEQbwdEQBoBy5Y=; b=rR4SwTMxEGYt82G6YL5vNIv1R4xMMIFobebxuFiVf9Mc1iLZEt1jATxLmzx8SuTs9P rk7QZom20J+zC3TTbbMxiJwIsgn0RwX3CSE5C7FkgQgw8PjS/0D57iGtiaUI+BSCwWfQ oXixo9feUBL+IgkYAPB1HWeyUidBWFsCfxHfSkocNLNgEKrW8jFkJQMFrDey6fVhyP2/ 2k/cOwFq23f3gcYhumLdm/TYkd/FIi2/tFFsXkGr3dOWTYreJqHTNYXkLrldRC9/Palr xIiHbsgUrQAOX6+90kjyLiIaewtDlvbubwASH1a7HhBegkiMeVGOz0LiaAsUz3g8nNy4 Xd9A== X-Received: by 10.180.9.171 with SMTP id a11mr12513228wib.60.1424332171244; Wed, 18 Feb 2015 23:49:31 -0800 (PST) Received: from [192.168.2.121] (89-104-28-113.customer.bnet.at. [89.104.28.113]) by mx.google.com with ESMTPSA id hj10sm23520763wjc.48.2015.02.18.23.49.29 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 18 Feb 2015 23:49:30 -0800 (PST) Sender: Michael Wallner Message-ID: <54E59589.4070300@php.net> Date: Thu, 19 Feb 2015 08:49:29 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.4.0 MIME-Version: 1.0 To: Rasmus Lerdorf , Christoph Becker , PHP internals References: <54E5456E.4020103@gmx.de> <54E54E1E.1010906@lerdorf.com> In-Reply-To: <54E54E1E.1010906@lerdorf.com> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Subject: Re: [PHP-DEV] Digit separators for numeric literals From: mike@php.net (Michael Wallner) On 19/02/15 03:44, Rasmus Lerdorf wrote: > but _999_ would need to work as well and _ is a valid char in a constant > so you can have a constant named _999_. > Why would we need to support the underscore in front (and maybe even at the end) of a number? -- Regards, Mike