Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:85878
Return-Path: <ppasindud@gmail.com>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 55299 invoked from network); 20 Apr 2015 13:59:39 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 20 Apr 2015 13:59:39 -0000
Authentication-Results: pb1.pair.com smtp.mail=ppasindud@gmail.com; spf=pass; sender-id=pass
Authentication-Results: pb1.pair.com header.from=ppasindud@gmail.com; sender-id=pass
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.213.173 as permitted sender)
X-PHP-List-Original-Sender: ppasindud@gmail.com
X-Host-Fingerprint: 209.85.213.173 mail-ig0-f173.google.com  
Received: from [209.85.213.173] ([209.85.213.173:34673] helo=mail-ig0-f173.google.com)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id A0/63-18373-A4605355 for <internals@lists.php.net>; Mon, 20 Apr 2015 09:59:39 -0400
Received: by iget9 with SMTP id t9so66520423ige.1
        for <internals@lists.php.net>; Mon, 20 Apr 2015 06:59:35 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :cc:content-type;
        bh=Ynjn6u842jLyXp6cZ5HzBixLP3GqYMmgFM2V+LJE/N0=;
        b=s6zyZMjdc2V0dwPzmo7QR5X97IVdJeotqpqTsXPcmuj9HVkAC9Xw4dHd+pecCNs4/U
         xM5Spl5wF0H68sX63Q0xkaBYXT4FJVSB3G5re4v3fzmzYZy6HDOzuMnjqkUAgxGaF66T
         +Tk6iQIqoENMcvEHqDhXOZq2iQmjVLdgvVGfdaTpogtygrZNCuVnF2WgSaPZcqgjuHOD
         IdPRdk/cQXQmRMeDly58Xn7lYHyAGU5yNth5UURMUR6KcPsdCygPrTnSb5R4qDSDcvHR
         o+SlEx5B3ocfxCVwmLKKR931PJiAgMwWgWNctdRZFs7BVefqK4JoEREFN9SXzLmDALHT
         KNmg==
MIME-Version: 1.0
X-Received: by 10.43.161.196 with SMTP id mh4mr18809916icc.14.1429538375454;
 Mon, 20 Apr 2015 06:59:35 -0700 (PDT)
Received: by 10.36.3.75 with HTTP; Mon, 20 Apr 2015 06:59:35 -0700 (PDT)
In-Reply-To: <55350298.1000303@gmx.de>
References: <54E35490.9040709@gmail.com>
	<5533A275.7050303@gmx.de>
	<55342724.6020606@gmail.com>
	<55342C8D.7020509@gmx.de>
	<55343F3E.3010307@gmail.com>
	<55350298.1000303@gmx.de>
Date: Mon, 20 Apr 2015 19:29:35 +0530
Message-ID: <CAP9Mp8jwTuYUH9SujOKtFDeOqp9YEEpJeNRDn677O7h01e7y3Q@mail.gmail.com>
To: Christoph Becker <cmbecker69@gmx.de>, Stanislav Malyshev <smalyshev@gmail.com>
Cc: PHP Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a11c298fc0fd6f105142857b3
Subject: Re: [PHP-DEV] Re: [RFC] Spaceship operator RFC
From: ppasindud@gmail.com (Pasindu De Silva)

--001a11c298fc0fd6f105142857b3
Content-Type: text/plain; charset=UTF-8

Hi
Found this while trying to do the documentation, Thought the same that it
was a RFC mistake,
therefore didn't put any examples. Will do the necessary documentation if
this is the case.

+1
Pasindu


On Mon, Apr 20, 2015 at 7:13 PM, Christoph Becker <cmbecker69@gmx.de> wrote:

> Hi!
>
> Stanislav Malyshev wrote:
>
> > Ahh, I see. I think it's the mistake in the RFC. [...]
>
> Then it is probably best to fix the RFC. :)
>
> > I'm not a big fan of throwing too many notices. They are usually not
> > very helpful an din this case it would be not easy to distinguish
> > between intentional and unintentional use.
>
> <snip>
>
> > $a > $b being false is an artifact of how ">" works in the engine - $a >
> > $b is essentially ($b < $a). Since in this case both $a > $b and $b >
> > $a, the result of ($b < $a) is false. That's what you get when you
> > compare non-well-ordered things...
>
> I get your point.  I suggest to amend the documentation[1] to make it
> clear that comparing non-well-ordered values results in undefined
> behavior (it might be best to treat the return value 1 in this case as
> implementation specific).
>
> [1] <http://php.net/manual/en/language.operators.comparison.php>
>
> --
> Christoph M. Becker
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>


-- 

*Pasindu De Silva**ppasindud@gmail.com <ppasindud@gmail.com>*

--001a11c298fc0fd6f105142857b3--