Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:37292
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: error (pb1.pair.com: domain sambarrow.com from 208.70.128.77 cause and error)
To: internals@lists.php.net
Content-Type: text/plain
Date: Tue, 29 Apr 2008 09:34:07 -0400
Message-ID: <1209476047.3257.2.camel@sbarrow-desktop>
Mime-Version: 1.0
Content-Transfer-Encoding: 7bit
Subject: Inheritance/compatibility behavior
From: sam@sambarrow.com (Sam Barrow)


I want to make two classes:

abstract class a {
	abstract public function go($a);
}
final class b extends a {
	abstract public function go(array $a);
}

This will not work, I get an error that the two must be compatible.
Wouldn't it be a good idea to allow any type hint for a parameter that
does not specify a type hint?

Ie, I can do the above, but not the following:

abstract class a {
	abstract public function go(myClass $a);
}
final class b extends a {
	abstract public function go(array $a);
}