Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:84090 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 69146 invoked from network); 1 Mar 2015 03:25:56 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 1 Mar 2015 03:25:56 -0000 Authentication-Results: pb1.pair.com smtp.mail=yohgaki@gmail.com; spf=pass; sender-id=pass Authentication-Results: pb1.pair.com header.from=yohgaki@gmail.com; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.216.182 as permitted sender) X-PHP-List-Original-Sender: yohgaki@gmail.com X-Host-Fingerprint: 209.85.216.182 mail-qc0-f182.google.com Received: from [209.85.216.182] ([209.85.216.182:34045] helo=mail-qc0-f182.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 0B/B0-63732-1C682F45 for ; Sat, 28 Feb 2015 22:25:54 -0500 Received: by qcwr17 with SMTP id r17so19882474qcw.1 for ; Sat, 28 Feb 2015 19:25:51 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:from:date:message-id:subject:to:content-type; bh=ybHT1PG/DETKOpnRbqoEmGx53stGBw9VeFQXClz+T7s=; b=fh//Bqe10z/JYb7fE6clqcInsQGINk5EzZM0PlY3ddeJVfyUP59VQMOD+WyOAW6uLJ +sUK36CjLyWUgfELrIHM7SH4Ha0Bn1l8ZE8JV4eu8uRrPDtl4VtnCzpdsY5Fu80Z18ce rIv9QJiIToaR78eFpCIDSStux4oSWRQBx+P+f+9ujHaEPMCy06G/rZsCT8fKISA6G85c IPfvQm9pEFroYWr75/rxS81BKjx7sXn9Zv8mCMyCL2VJFNPCZhrSotIY/AjjB6WOE2mZ wXtU3r9tvjtx29S+2cXaXjSEzbVlAxulAVORmq0Gzv/UHZJPyYkXrOeSH29Up8SGw+0N 7hYw== X-Received: by 10.140.151.8 with SMTP id 8mr41689573qhx.65.1425180350960; Sat, 28 Feb 2015 19:25:50 -0800 (PST) MIME-Version: 1.0 Sender: yohgaki@gmail.com Received: by 10.229.198.8 with HTTP; Sat, 28 Feb 2015 19:25:10 -0800 (PST) Date: Sun, 1 Mar 2015 12:25:10 +0900 X-Google-Sender-Auth: r2evv4jjIp-qxYbdAP-MjVzy5D0 Message-ID: To: "internals@lists.php.net" Content-Type: multipart/alternative; boundary=001a113538628f5b86051031a86c Subject: [RFC] Design by Contract - Vote only RFC From: yohgaki@ohgaki.net (Yasuo Ohgaki) --001a113538628f5b86051031a86c Content-Type: text/plain; charset=UTF-8 Hi all, https://wiki.php.net/rfc/introduce_design_by_contract This is vote only RFC for 2 competing Design by Contract(DbC) RFCs. Please comment if you have any for this RFC. I'll post RFC discussion for actual proposals soon. Please keep discussion only about how vote should be done. Thank you. Regards, -- Yasuo Ohgaki yohgaki@ohgaki.net --001a113538628f5b86051031a86c--