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. _______________________________________________ fpc-pascal maillist - fpc-pascal@lists.freepascal.org http://lists.freepascal.org/cgi-bin/mailman/listinfo/fpc-pascal