[fpc-pascal] generic proc inference

[Sven Barth]

Am 10.10.2019 um 22:41 schrieb Ryan Joseph:
>
>> On Oct 9, 2019, at 6:21 PM, Sven Barth via fpc-pascal <fpc-pascal at lists.freepascal.org> wrote:
>>
>> Hmmm, I thought letting that dummy sym pass through would have lots of adverse affects in various places. I’ll have to study this later in the debugger.
>>
>> In that case the necessary parts would need to be made more resilient.
>>
> As a general matter could you explain the reasoning behind resolve_generic_dummysym()?
The compiler tries to use as much as possible a non-generic symbol. E.g. 
if there is a TTest<> in the current unit and a non-generic TTest in 
another the compiler uses the latter even if a "<" follows. The real 
generic symbol will be found in generate_specialization_phase1 (or 
_phase2?) as only that will know the real amount of generic type parameters.

Regards,
Sven