[fpc-pascal] Operator overload resolution with arrays

Martok listbox at martoks-place.de
Mon Feb 5 17:50:04 CET 2018


Am 05.02.2018 um 15:49 schrieb Maciej Izak:
> for example final code for TFoo< TSomeArray> will be different than for
> TFoo<TSomeArray> declared in other module (!). 
Crap. True.

Now I see why it is how it is.

The maximum extent would be to accept overloads (and helpers) that are visible
at the parameter type's declaration, because they would necessarily be visible
in all specializations as well. That would be pretty much the same as how it
currently accepts operators defined on the type, just one symtable up. It would
also solve the "implementation restriction" from the manual - and only that. I
think?


-- 
Regards,
Martok

Ceterum censeo b32079 esse sanandam.




More information about the fpc-pascal mailing list