2016-11-24 9:58 GMT+01:00 Dan Ackroyd <dan...@basereality.com>: > Hi Levi, > > On 23 November 2016 at 01:25, Levi Morrison <le...@php.net> wrote: > > > > it assumes that all types that are not statically known to the engine are > > objects. This is a restrictive future compatibility concern. > > Any RFC and/or patch can only deal with PHP as it currently is.
No. We had a similar discussion for the context sensitive lexer RFC and didn't allow some things to make future features easier. > > Giving up these options for the sake of object > > variance is definitely not prudent in my opinion. > > We would not necessarily be giving them up. We are just adding a small > amount of complexity that would need to be handled by future RFCs. > It's not a small amount of complexity, otherwise we'd already have contra / covariance. Regards, Niklas > Which is true of all RFCs. > > > For instance enumerations (or enums) are one possible type I can see us > > adding that may not be objects. > > I very much look forward to the RFC for enums, and have for some time. > When are you thinking of submitting it for discussion and voting? > > cheers > Dan > Ack > > -- > PHP Internals - PHP Runtime Development Mailing List > To unsubscribe, visit: http://www.php.net/unsub.php > >