Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:88453
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain googlemail.com designates 209.85.212.173 as permitted sender)
MIME-Version: 1.0
Date: Wed, 23 Sep 2015 21:35:42 +0100
Message-ID: <CAFKaYMohRoYfxZetbaTAkcSELygc7rwhAX6eePvmer7SeQF92Q@mail.gmail.com>
To: internals@lists.php.net, mail@dasprids.de
Content-Type: multipart/alternative; boundary=089e010d891cf368830520700e57
Subject: Re: Implementing Generics, and none scalar default properties.
From: codekestrel@googlemail.com (Dominic Grostate)

--089e010d891cf368830520700e57
Content-Type: text/plain; charset=UTF-8

> So far I only wrote up the RFC and kicked off a discussion here on the
> mailing list about it. As I wrote several times already, I'd appreciate
> someone tackling the implementation side to get a patch working!

> Cheers,

Hi Ben,

I think there is something wrong with how I set up my ML subscription,
I had to go to the newgroup to get this as it didn't show up in my
inbox.

Anyway, ye, I'm having a crack at it, although slow since it my first
go at php-src.

I've run into a bit of a problem though.

I managed to get the syntax working for class declarations:

class_declaration_statement:
		class_modifiers T_CLASS { $<num>$ = CG(zend_lineno); }
		T_STRING generics extends_from implements_list backup_doc_comment
'{' class_statement_list '}'
			{ $$ = zend_ast_create_decl(ZEND_AST_CLASS, $1, $<num>3, $8,
zend_ast_get_str($4), $6, $7, $10, $5); }
	|	T_CLASS { $<num>$ = CG(zend_lineno); }
		T_STRING generics extends_from implements_list backup_doc_comment
'{' class_statement_list '}'
			{ $$ = zend_ast_create_decl(ZEND_AST_CLASS, 0, $<num>2, $7,
zend_ast_get_str($3), $5, $6, $9, $4); }
;

class SampleMap<K, V>
{

}

So far so good, but function calls are more complicated.  I'm getting
error: shift/reduce conflicts

My guess is this due to the following scenario:

<?php

define('const_a', 1);
define('const_b', 2);

$result = const_a < const_b > (10);

While the intention might be to call a "function" const_a with the
generic type const_b and 10 as an argument, it is also identical to a
comparison expression.

The example above throws: Parse error: syntax error, unexpected '>'
since the expression is erroneous , so should that allowa generic type
to be included to the syntax?

--089e010d891cf368830520700e57--