Isn't it wrong that
PIKEFUN object function_object(function|program func)
translates into
typeof(function_object);
(1) Result: function(function(mixed ... : void | mixed) : object)
Well, "function(mixed ... : void | mixed)" is the same as "function", isn't it? And a program is a kind of function that returns an object, so it is subsumed by "function".
/ Marcus Comstedt (ACROSS) (Hail Ilpalazzo!)
Previous text:
2003-04-30 01:50: Subject: Wrong?
Isn't it wrong that
PIKEFUN object function_object(function|program func)
translates into
typeof(function_object);
(1) Result: function(function(mixed ... : void | mixed) : object)
/ Martin Nilsson (har bott i google)
Pike v7.4 release 21 running Hilfe v3.5 (Incremental Pike Frontend)
typeof(class{});
(1) Result: function( : object(is 65674))
/ Marcus Comstedt (ACROSS) (Hail Ilpalazzo!)
Previous text:
2003-04-30 02:19: Subject: Wrong?
Well, "function(mixed ... : void | mixed)" is the same as "function", isn't it? And a program is a kind of function that returns an object, so it is subsumed by "function".
/ Marcus Comstedt (ACROSS) (Hail Ilpalazzo!)
No, function and function(mixed...:void|mixed) are not the same.
Warning: Arguments not strictly compatible. Warning: Expected: function(function(mixed ... : void | mixed) : object) Warning: Got : function(function : void | mixed)
/ Martin Nilsson (har bott i google)
Previous text:
2003-04-30 02:19: Subject: Wrong?
Well, "function(mixed ... : void | mixed)" is the same as "function", isn't it? And a program is a kind of function that returns an object, so it is subsumed by "function".
/ Marcus Comstedt (ACROSS) (Hail Ilpalazzo!)
Well, _that_ sounds like a bug. (mixed ... : void|mixed) should cover all possibile argument and return types, so I don't see any reason they shouldn't be strictly compatible.
/ Marcus Comstedt (ACROSS) (Hail Ilpalazzo!)
Previous text:
2003-04-30 02:23: Subject: Wrong?
No, function and function(mixed...:void|mixed) are not the same.
Warning: Arguments not strictly compatible. Warning: Expected: function(function(mixed ... : void | mixed) : object) Warning: Got : function(function : void | mixed)
/ Martin Nilsson (har bott i google)
pike-devel@lists.lysator.liu.se