Error in type checker
Imported from http://bugzilla.roxen.com/bugzilla/show_bug.cgi?id=2759
Reported by Martin Stjernholm mast@roxen.com
Pike v7.2 release 294 running Hilfe v2.0 (Incremental Pike Frontend)
> typeof(Parser.HTML()->_set_entity_callback);
Result: function(function(object(implements 8), string, mixed ... : zero |
int(1..1) | string | array) : object(implements 8))
> Parser.HTML()->_set_entity_callback (lambda() {return 0;});
-:1:Bad argument 1 to _set_entity_callback.
-:1:Expected: function(function(object(implements 8), string, mixed ... :
zero | int(1..1) | string | array) : object(implements 8))
-:1:Got : function(function( : zero) : void | mixed)
Same problem exists in 7.3.