Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:84147
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain zend.com designates 209.85.220.175 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <CAGa2bXb_6RczqEsUGbD41bhjhJQrfWv49UexjuqCpGv4CsFtCg@mail.gmail.com>
References: <CA+9eiLuNjTa8JzBgnZE5iuv5BZ4Kw4Ehk1ivxPUetNSmZ43JMw@mail.gmail.com>
	<CA+9eiLuUFiKwOR-BqQEmkQirpAMxgb0GE70Zz7h4WDsd1Me8FQ@mail.gmail.com>
	<CAGa2bXYDvdvRLiOpDk8EnvE00JE4x47SXB9fET4uO2Er_F6s_w@mail.gmail.com>
	<CAL=_i_=mGc_0u0YDCQ7Jiqn_ggyJmQSd_mk_snf7ArDpDXO53A@mail.gmail.com>
	<CA+9eiLur0DVGBNkzFkiTj3POL5B9H0D8=5wE-wuwN2O-FQZNyg@mail.gmail.com>
	<CAL=_i_m=XDKtc2iCSjoquaHkmX862gyMweKS5Xw4AS--oLj19w@mail.gmail.com>
	<CA+9eiLsX=mOOgXmNBKD1L6WKx2=Vy81mThaKa1XCjjAw6R=2vA@mail.gmail.com>
	<CAGa2bXYYp0WQmnTnbsHXzc8XGG0PxOVHu7XvwiMCSJiUWoKeCg@mail.gmail.com>
	<CAGa2bXbKs8cGRTQ1sfeRonnmVXtp7ftVDkz_ALmqr8OnczQxCg@mail.gmail.com>
	<CAGa2bXZ8Wy7bUYgtbajr+GkpQtQEjQLMbFT2mSB5OEnLO2mgfg@mail.gmail.com>
	<CAL=_i_kypYpa3t06peRKwtww=cbh+KhM+iAOtotDGNaFfJBuVA@mail.gmail.com>
	<54DAFD32.3000005@gmail.com>
	<CA+9eiLtswwOqku57nHLu8fmHOwzvVcqkHTehBQOPUqQb5P2BUw@mail.gmail.com>
	<54DB0BC0.20304@gmail.com>
	<CA+9eiLsK1JJbyGu5Fxf+MNz63wb8K0661rkMm-h+vTVUZo+0SQ@mail.gmail.com>
	<54DBA801.8060403@gmail.com>
	<013801d0481d$d34c5170$79e4f450$@php.net>
	<CAGa2bXYNY_ACPb7KZH5BwgvzTOUmsy_g22DSGSOeeACOstq+HA@mail.gmail.com>
	<000a01d04939$aae34910$00a9db30$@php.net>
	<CAGa2bXbP+fk7pprVgbLwwQesTccqFArvWNd=JGHQA2XaEe-tqw@mail.gmail.com>
	<003d01d04974$46e52240$d4af66c0$@php.net>
	<CAGa2bXZXm3zq_OTtZ7WvUm_bsoiR_Hm2bybmH8y0uAeVtt12Dw@mail.gmail.com>
	<CAGa2bXZuYmpCrhxO7zMFadqJqc9D9QLwH3riWEayowyGPH5jqw@mail.gmail.com>
	<09d401d05165$3c3e7fa0$b4bb7ee0$@php.net>
	<CAGa2bXb_6RczqEsUGbD41bhjhJQrfWv49UexjuqCpGv4CsFtCg@mail.gmail.com>
Date: Mon, 2 Mar 2015 11:20:03 +0400
Message-ID: <CA+9eiLvhUph===L_PDVuP-EvJazwxbqP=cfFmsbE7XB4O60f-Q@mail.gmail.com>
To: Yasuo Ohgaki <yohgaki@ohgaki.net>, Alexander Lisachenko <lisachenko.it@gmail.com>
Cc: francois <francois@php.net>, Joe Watkins <pthreads@pthreads.org>, 
	Stanislav Malyshev <smalyshev@gmail.com>, PHP Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=bcaec52bf2d9fab1e70510490b8e
Subject: Re: [PHP-DEV] Design by Contract
From: dmitry@zend.com (Dmitry Stogov)

--bcaec52bf2d9fab1e70510490b8e
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

Hi Yasuo,

It may be to late for 7.0.
Also Alexander liked to to add another proposal, but I saw only
pre-required one(s)
Anyway, it's not a big problem to vote now.
I may take care about implementation for https://wiki.php.net/rfc/dbc2 (but
only if it wins).

Thanks. Dmitry.

On Sun, Mar 1, 2015 at 6:46 AM, Yasuo Ohgaki <yohgaki@ohgaki.net> wrote:

> Hi all,
>
> I made vote only RFC and started discussion for voting
> https://wiki.php.net/rfc/introduce_design_by_contract
> Please feel free to correct/improve it.
>
> I added note to our RFCs
>
> https://wiki.php.net/rfc/dbc
> ---
> This RFC is part of =E2=80=9CDesign by Contract Introduction=E2=80=9D RFC
>
> https://wiki.php.net/rfc/introduce_design_by_contract
> There is alternative implementation proposal by =E2=80=9CDefinition=E2=80=
=9D
>
> https://wiki.php.net/rfc/dbc2
> ----
>
> https://wiki.php.net/rfc/dbc2
> ----
> This RFC is part of =E2=80=9CDesign by Contract Introduction=E2=80=9D RFC
>
> https://wiki.php.net/rfc/introduce_design_by_contract
> This RFC is an alternative approach to =E2=80=9CNative DbC support=E2=80=
=9D RFC.
>
> http://wiki.php.net/rfc/dbc
> ----
>
> I understand there are things to resolve, but RFCs are good enough to
> start discussions. I'll post discussion mail shortly. If you find anythin=
g,
> have any comments or any show stopper, please let me know.
>
> Thank you!
>
> --
> Yasuo Ohgaki
> yohgaki@ohgaki.net
>
>

--bcaec52bf2d9fab1e70510490b8e--