Am 05.02.2018 17:50 schrieb "Martok" <list...@martoks-place.de>:

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?


That *could* be a possibility. I'd need to think about it a bit though to
be sure that there are no caveats.

Regards,
Sven
_______________________________________________
fpc-pascal maillist  -  fpc-pascal@lists.freepascal.org
http://lists.freepascal.org/cgi-bin/mailman/listinfo/fpc-pascal

Reply via email to