Hi Dmitry and Anthony,
I was skimming through your conversation about JIT/AOT and that type hints
would allow to optimise few things.
I do not know if you are aware of the following but type hints can be passed
by. Hence neither weak or strict type hints allow to predict the type (even if
only locally):
function handler($errno, $errstr, $errfile, $errline){
return true;
}
set_error_handler("handler");
class Foo{}
function foo(int $x, Foo $f){
var_dump($x, $f);
$y = $x; //should be int as well, right?
}
foo(new Foo(), 1);
Sure, this is something which is hopefully never ever done but anyway, a
language needs to be able to handle all cases.
As a side notice, if the exceptions in the engine RFC is accepted, then this
would not be a problem anymore:
https://wiki.php.net/rfc/engine_exceptions_for_php7
Personally, I would expect that the execution is stopped after the
error_handler was called (after user was able to log etc.) - at least in
strict mode.
Cheers,
Robert
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
