Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:82422 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 26326 invoked from network); 11 Feb 2015 07:00:56 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 11 Feb 2015 07:00:56 -0000 Authentication-Results: pb1.pair.com header.from=dmitry@zend.com; sender-id=pass Authentication-Results: pb1.pair.com smtp.mail=dmitry@zend.com; spf=pass; sender-id=pass Received-SPF: pass (pb1.pair.com: domain zend.com designates 209.85.220.179 as permitted sender) X-PHP-List-Original-Sender: dmitry@zend.com X-Host-Fingerprint: 209.85.220.179 mail-vc0-f179.google.com Received: from [209.85.220.179] ([209.85.220.179:58739] helo=mail-vc0-f179.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 12/C4-33902-62EFAD45 for ; Wed, 11 Feb 2015 02:00:55 -0500 Received: by mail-vc0-f179.google.com with SMTP id hy4so567793vcb.10 for ; Tue, 10 Feb 2015 23:00:52 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=4WtfIlYrtwzgW3aXbmasFSUCIl2nLg8YnsuVN1gpN+M=; b=PVT0LsrNGK+drukuD1T1rVI/h07DoHVuGULtOuZnBuhRiwFxGu/WHr2gAWe4N3n8m8 j/+NJlmkm0Fc1zsLuC2VBQ6pjrvA63aVtaWf++q/gwJOBfE3ZY7i12p1HGsXkIoMPaTB 5+d8Xwnog99jEbMWMPiJGbiW3JNfMxJBNw8PuqhugB3rx1q7NbYDf655a2s8/xIzNNvA YyB4QFD3z9vwB7YcdW79ytYtWzvkFXI9tmdLqJ+F+nHOXaUmUp/U0J34LyiH/Wly2++W 7G6+5AEX3IgCUd6uoKKpl+DDzv16Qto1ScBF3mn5cDZa50Wvpd0dNmsxIKzJPAwoFrDF a+Xw== X-Gm-Message-State: ALoCoQl9DcCnVAOBX2z3S4RDkPQZQr4xAXT3XVZ4PtbuUdBjowyf4RMSjtYhUqzO9BXWYCXopIvzhH7Rbg2x8AAEozY31r5V0fWnxXH2EUxcgATDMB7A08qPaBYv62CN4lN6Eg4YkLn5xPR6u/u18L8RIxtC5D++mQ== MIME-Version: 1.0 X-Received: by 10.221.44.65 with SMTP id uf1mr17996634vcb.46.1423638052344; Tue, 10 Feb 2015 23:00:52 -0800 (PST) Received: by 10.52.74.73 with HTTP; Tue, 10 Feb 2015 23:00:52 -0800 (PST) In-Reply-To: References: <54D7ED22.3080001@gmail.com> Date: Wed, 11 Feb 2015 11:00:52 +0400 Message-ID: To: Yasuo Ohgaki Cc: Joe Watkins , Patrick Schaaf , internals Content-Type: multipart/alternative; boundary=001a11c3ea3c663b83050eca903a Subject: Re: [PHP-DEV] Design by Contract From: dmitry@zend.com (Dmitry Stogov) --001a11c3ea3c663b83050eca903a Content-Type: text/plain; charset=UTF-8 I didn't get what do you mean by " internal module" Thanks. Dmitry. On Wed, Feb 11, 2015 at 12:29 AM, Yasuo Ohgaki wrote: > Hi Dmitry and Joe, > > On Tue, Feb 10, 2015 at 8:53 PM, Dmitry Stogov wrote: > >> You are welcome to edit https://wiki.php.net/rfc/dbc2 >> It looks like we have similar views, so just make it better in a way you >> think. >> > > Looks good to me. It's much better than original. Thank you folks. > We have related issue like how internal module incorporate with DbC. > However > these could be future issues. > > Regards, > > -- > Yasuo Ohgaki > yohgaki@ohgaki.net > --001a11c3ea3c663b83050eca903a--