Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:99200
Return-Path: <me@kelunik.com>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 2825 invoked from network); 26 May 2017 10:16:44 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 26 May 2017 10:16:44 -0000
Authentication-Results: pb1.pair.com smtp.mail=me@kelunik.com; spf=permerror; sender-id=unknown
Authentication-Results: pb1.pair.com header.from=me@kelunik.com; sender-id=unknown
Received-SPF: error (pb1.pair.com: domain kelunik.com from 81.169.146.161 cause and error)
X-PHP-List-Original-Sender: me@kelunik.com
X-Host-Fingerprint: 81.169.146.161 mo4-p00-ob.smtp.rzone.de  
Received: from [81.169.146.161] ([81.169.146.161:10176] helo=mo4-p00-ob.smtp.rzone.de)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id A6/B3-10292-A8008295 for <internals@lists.php.net>; Fri, 26 May 2017 06:16:43 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; t=1495793800;
	l=2195; s=domk; d=kelunik.com;
	h=Content-Type:Cc:To:Subject:Date:From:References:In-Reply-To:
	MIME-Version;
	bh=OU52foYAppOyHHjHimzzHWGjFWcf0aWg9n2SiYGFGug=;
	b=QShKYneL62mHdwNMI2+9Hl1ugGMkXK0en7e80tCJX5Fw2BLk/Ly3sU6zAPxKF7f9Oy
	07wJME/qilsTrC/pq+JwbyhUPxMW7DQmJ7XW0Tb/9xKWRfBs8PABDSEDPr64zOIAXdqZ
	HFrWHHZbStuJ/6HL8Rhh5E3joNon3A5lWrtEM=
X-RZG-AUTH: :IWkkfkWkbvHsXQGmRYmUo9mls2vWuiu+7SLDup6E67mzuoNHBqT83Q==
X-RZG-CLASS-ID: mo00
Received: by mail-oi0-f54.google.com with SMTP id w10so7367106oif.0
        for <internals@lists.php.net>; Fri, 26 May 2017 03:16:39 -0700 (PDT)
X-Gm-Message-State: AODbwcCu3ebPgYD5crEx7oRa2XunvJR1xeCG+dKG6Zf2uLXyc45ckEu0
	B5ROH3XqKiwACSZnCvmX20KouenGZA==
X-Received: by 10.157.48.60 with SMTP id d57mr570058otc.255.1495793799316;
 Fri, 26 May 2017 03:16:39 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.74.176.133 with HTTP; Fri, 26 May 2017 03:16:38 -0700 (PDT)
In-Reply-To: <CAPhkiZwi-Ji2LVFk46MpwHWmPxC_sBZkTiAHMZOV7qNiku9aug@mail.gmail.com>
References: <CADqTB_jB2ic4jx84HXVBPDr2qbP-DnXe782quKwc6o-ERpJJVw@mail.gmail.com>
 <269187f4-5924-a7cc-9163-40134546451f@fleshgrinder.com> <CAPhkiZyX1zC3W03CS6KBSgQxoWht96oOeFrAswG2jrSM2zJEPw@mail.gmail.com>
 <CA+kxMuQ5exWsJanp88bz7zTmoqtmKQ66NydqPhUgd=mPywncmA@mail.gmail.com> <CAPhkiZwi-Ji2LVFk46MpwHWmPxC_sBZkTiAHMZOV7qNiku9aug@mail.gmail.com>
Date: Fri, 26 May 2017 12:16:38 +0200
X-Gmail-Original-Message-ID: <CANUQDCiMfhUAeAX+3yfSkSp1vodegvVDt=ff7AWYPia_AnxQ4A@mail.gmail.com>
Message-ID: <CANUQDCiMfhUAeAX+3yfSkSp1vodegvVDt=ff7AWYPia_AnxQ4A@mail.gmail.com>
To: Andrey Andreev <narf@devilix.net>
Cc: Dan Ackroyd <danack@basereality.com>, 
	"internals@lists.php.net" <internals@lists.php.net>, Rasmus Schultz <rasmus@mindplay.dk>
Content-Type: multipart/alternative; boundary="001a1134e17a10cadc05506aa2dd"
Subject: Re: [PHP-DEV] Parameter type widening RFC
From: me@kelunik.com (Niklas Keller)

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

2017-05-26 10:35 GMT+02:00 Andrey Andreev <narf@devilix.net>:

> Hi,
>
> On Thu, May 25, 2017 at 11:02 PM, Dan Ackroyd <danack@basereality.com>
> wrote:
> >
> > The RFC specifically didn't mention LSP....because that is separate
> > from co/contravariance. It's unfortunate for other people to be
> > throwing the two around at you with a lack of precision.
> >
>
> Perhaps this was the issue ... I was under the impression that LSP was
> used as (part of) the motivation for the RFC.
>
> The rest is pretty clear, though thanks for the lengthy explanation. :)


Sorry for the delay and confusion. As Nikita already mentioned, it's a
consequence of LSP, not directly what LSP is about.

Regards, Niklas

--001a1134e17a10cadc05506aa2dd--