[SOLVED] Nested Functions and Generics

[MountainQ]

Hello everybody,

concerning the case when combining generics and nested functions:
I have a generic object; and I would like to have a nested function within one its procedures.
This is pretty clearly denied:

Generic methods cannot have nested procedures

Is there a good reason for this?
Does anyone know a workaround?
Any chance this might change in the future?
I could not find anything.
Thanks

[Thaddy]

Well, you can not do this:

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

1. type
2.   TMyclass<T>
3.   public
4.     procedure MyNestedProcedure<T>; // that's a double declaration of T!
5.   end;

But you can do this:

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

1. type
2.   TMyclass<T> = class
3.   public
4.     procedure MyNestedProcedure(const a:T);
5.   end;

[MountainQ]

Thank you Thaddy for your quick reply.
I hope I did not misstate my problem.
What I would like to have is something like: (I use the FreePascal style of generics because of the editor)

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

1. type
2.   generic TRedBlackTree<_el> = class
3.   public
4.     function print: string;
5.   end;
6.  
7. ...
8.  
9. function TRedBlackTree.print: string;
10.   function DoSomething(): string;
11.   begin
12.   end;
13. begin
14.   traversetree(@DoSomething);
15. end;
16.  

It is the declaration of the function DoSomething that raises the error.

[PascalDragon]

What I would like to have is something like: (I use the FreePascal style of generics because of the editor)

It is the declaration of the function DoSomething that raises the error.

That restriction was lifted in trunk (3.1.1) though if I remember correctly Delphi disallows it as well...

[MountainQ]

Thank you PascalDragon; in particular for helping develop FreePascal.
I am using FPC 3.0.4.; so I have to be a little patient.