Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:82563
Return-Path: <dennis@birkholz.biz>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 78903 invoked from network); 12 Feb 2015 21:50:28 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 12 Feb 2015 21:50:28 -0000
Authentication-Results: pb1.pair.com header.from=dennis@birkholz.biz; sender-id=unknown
Authentication-Results: pb1.pair.com smtp.mail=dennis@birkholz.biz; spf=unknown; sender-id=unknown
Received-SPF: unknown (pb1.pair.com: domain birkholz.biz does not designate 144.76.185.252 as permitted sender)
X-PHP-List-Original-Sender: dennis@birkholz.biz
X-Host-Fingerprint: 144.76.185.252 mx01.nexxes.net  
Received: from [144.76.185.252] ([144.76.185.252:33243] helo=mx01.nexxes.net)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id A7/D2-61903-2202DD45 for <internals@lists.php.net>; Thu, 12 Feb 2015 16:50:27 -0500
Received: from [137.226.183.192] (ip3192.saw.rwth-aachen.de [137.226.183.192])
	(using TLSv1 with cipher DHE-RSA-AES128-SHA (128/128 bits))
	(No client certificate requested)
	(Authenticated sender: db220660-p0g-1@packages.nexxes.net)
	by mx01.nexxes.net (Postfix) with ESMTPSA id 03ABF48244D;
	Thu, 12 Feb 2015 22:50:22 +0100 (CET)
Message-ID: <54DD201E.6050007@birkholz.biz>
Date: Thu, 12 Feb 2015 22:50:22 +0100
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.3.0
MIME-Version: 1.0
To: francois@tekwire.net
CC: 'PHP Internals' <internals@lists.php.net>
References: <8703B53E-2C4A-4AC6-95C4-D4F19C6D5221@ajf.me> <CABBJUpf=wKvGY9+xORRv6WVhCb5+LfRZXGYNasHFS=fz_mwaZQ@mail.gmail.com> <CABBJUpeceN1uDK870eV2=znC9f3eaxqYCmaEk0ErH2cbFxTNEw@mail.gmail.com> <CABBJUpdYnaR2nztPwFUdDAiAneRrAWzGo-36-DA9hqiBjEHXNA@mail.gmail.com> <54DAF884.7000508@lerdorf.com> <203e611c8e0b03568a868b8d931aec37@mail.gmail.com> <F79D6CDF-20DD-4E24-B2F4-F12637368242@ajf.me> <CAFp73XsF37WLzfax-NOgMLf7AU2UodpEz5=ZBMtnuYG+BeMP_w@mail.gmail.com> <61E01A7C-C5C8-447F-A8FA-E12A18E847CA@ajf.me> <006101d046d1$6e99b260$4bcd1720$@tekwire.net>
In-Reply-To: <006101d046d1$6e99b260$4bcd1720$@tekwire.net>
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Subject: Re: [PHP-DEV] [VOTE] Scalar Type Hints
From: dennis@birkholz.biz (Dennis Birkholz)

Hello François,

> For a set of 'extended' types like 'number', and their matching rules against zvals, this may help :
> 
> https://wiki.php.net/rfc/dbc#dbc_types_vs_zval_types

I did not follow the DoC-discussion so far but from a quick glance at
the list there are at least cases that need a further look:

1. There is no float (without !) in the list. It should be IS_LONG = yes
(if value does not exceed float boundaries), IS_DOUBLE = yes and
IS_STRING = yes (same as for IS_LONG).

2. callable is missing a check for objects that contain __invoke() which
is also a valid callable.

Greets
Dennis Birkholz