Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:98496 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 18213 invoked from network); 12 Mar 2017 08:17:34 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 12 Mar 2017 08:17:34 -0000 Authentication-Results: pb1.pair.com smtp.mail=michael.vostrikov@gmail.com; spf=pass; sender-id=pass Authentication-Results: pb1.pair.com header.from=michael.vostrikov@gmail.com; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.161.171 as permitted sender) X-PHP-List-Original-Sender: michael.vostrikov@gmail.com X-Host-Fingerprint: 209.85.161.171 mail-yw0-f171.google.com Received: from [209.85.161.171] ([209.85.161.171:35486] helo=mail-yw0-f171.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id B0/08-38004-D1405C85 for ; Sun, 12 Mar 2017 03:17:33 -0500 Received: by mail-yw0-f171.google.com with SMTP id v198so44632002ywc.2 for ; Sun, 12 Mar 2017 00:17:33 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:cc; bh=qE2rgJ+sy4LvB4vLjr3ZlmeJs2trrvjABIMvpwkazSQ=; b=N1xvFLQ0EhJLdwErjIHuv4JVCVLQMhaEpDWXHDGf0ZbhAxxR9TPju+RjUk4pcx7TEQ pIrGKsjhfImGu5RYTqycpiuAkXsz/AJUwM8P9mXn9NEKySfr5ioP3GaAd0XgP1r6aISM fcrIqaenJBGxAFCqBKGzHOaOcsOL6MTofmNKC1qKHlRqYfNXy83pDpm0A801Q30yFjGd IU1XQSpkxnAGRhyGiSFxKEBog7BZ/nvADGMZiDg7d1V9p6SypBxh4rc0yRwMki6IvMEM 3vctQdtysXFhO9/A7OpDvpFYwJDSA3TlCBJUOVrquWLRRu8PAhZb4L/3GgVgTFdZYYmR LUwQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:cc; bh=qE2rgJ+sy4LvB4vLjr3ZlmeJs2trrvjABIMvpwkazSQ=; b=CP3wobD0Tq8De2lDmNc9NFM7M/NyVkoZaC7Bn8SFEt+iNwTKSCikJ3z8eYHcZEwg49 5RENSi0kevohPQbbfuRnwCZr8gyRjw1ClDKUfMqUhmiFQtFNa5VTqHXTI/2+ZFYWauNU JrSfl12Cgw1KfR0+FNzk5//m1IRdKa9vY7I86lZbmKbmGS2dtDlbiwYh63UKOGdFglh1 2495NR6sydXpIe9u2YNAmKacmLgw/TVoQUi1zgpiACJrQBsJ/VQBxR2Jy0L9SB2nO0iw 2bCBlNcPMUiBi3mYswM9u8AchYaARN3GwFVs2P0ofPPdpBzzI1b4uXbGCaIaRxWK0AJi Owwg== X-Gm-Message-State: AMke39k8Vpvl8jgxte8uVB/7qZedstouCU1BxhFDUp6ZEC2M9sRcr1s/LW6/jxuzyHk3LhJKxDF8xuyk85uA8A== X-Received: by 10.37.171.66 with SMTP id u60mr13844236ybi.64.1489306650725; Sun, 12 Mar 2017 00:17:30 -0800 (PST) MIME-Version: 1.0 Received: by 10.13.224.196 with HTTP; Sun, 12 Mar 2017 00:17:30 -0800 (PST) In-Reply-To: References: Date: Sun, 12 Mar 2017 13:17:30 +0500 Message-ID: Cc: PHP Internals Content-Type: multipart/alternative; boundary=94eb2c0c30f0e102e3054a8439c0 Subject: Re: [PHP-DEV] Type variants From: michael.vostrikov@gmail.com (Michael Vostrikov) --94eb2c0c30f0e102e3054a8439c0 Content-Type: text/plain; charset=UTF-8 2017-03-12 13:03 GMT+05:00 Sherif Ramadan : how it pertains to this discussion > This is example of type matching from my first message. I'm not sure what that has to do with inheritance > Yes, this is not related with inheritance. But order can be ready for checkout or can not. This is a variant of valid object state. If we could have a tool to describe that and check later, it would be useful. --94eb2c0c30f0e102e3054a8439c0--