overloaded functions as parameters

[glorfin]

Hi!
I have in one unit declarations:

Code: Pascal  [Select][+][-]

1.   TTestFunc       = function(X:Float):boolean;
2.   function Any(constref Vector:array of double; Test:TTestFunc):boolean;
3.  

And in another one pair of functions:

Code: Pascal  [Select][+][-]

1.   function IsZero(F:double): boolean; overload; // uses default epsilon
2.   function IsZero(F: double; Epsilon: Float): Boolean; overload;
3.  

And if I write somewhere:

Code: Pascal  [Select][+][-]

1.   B := Any(V,@IsZero);
2.  

everything works fine. If, however, the places are swapped:

Code: Pascal  [Select][+][-]

1.   function IsZero(F: double; Epsilon: Float): Boolean; overload;
2.   function IsZero(F:double): boolean; overload; // uses default epsilon
3.  

compiler complains that types are incompatible.

So, my question: is it possible to modify behaviour of the compilter such that it continues search for a second function, at least is "overload" attribute is present.

Thank you in advance!

[MarkMLl]

Check with the most recent compiler version (and trunk if necessary) and if you still get it file a bug report.

MarkMLl

[WooBean]

Hi,
it may be too simple question but maybe helpful - where is float type defined?
As far as plain FPC documentation says there is no such real type.

WooBean 

[marcov]

it may be too simple question but maybe helpful - where is float type defined?
As far as plain FPC documentation says there is no such real type.

Float is defined in unit Math  https://www.freepascal.org/docs-html/rtl/math/float.html

[glorfin]

oops, forgot to change it. Actually, in my case at the same unit as as IsZero, depending on compilation directives may be double, single or extended. For simplicity I wrote double in the examples, but forgot to change in one place.

Hi,
it may be too simple question but maybe helpful - where is float type defined?
As far as plain FPC documentation says there is no such real type.

WooBean

[PascalDragon]

So, my question: is it possible to modify behaviour of the compilter such that it continues search for a second function, at least is "overload" attribute is present.

It's a shortcoming of the overload selection in conjunction with parameters. Please report a bug with an example. As a workaround you can do this:

Code: Pascal  [Select][+][-]

1. var
2.   t: TTestFunc;
3. begin
4.   t := @IsZero;
5.   B := Any(V, t);
6. end;

[glorfin]

Thank you for the responses!
I created the bug: 0038705