Ah sorry, hadn't seen your message before my last.

> While specializing the compiler only uses operator overloads (and helpers) 
> that
> have been in scope during the declaration of the generic or those that are 
> part
> of the types that are used for the specialization. This is definitely 
> consistent.
Unintuitive, but consistent, okay.

Type helpers for the used type that are in scope at the time of specialization
are also not applied. But I guess they don't count as "part of the type", so
that's technically true.

I may have missed something important about how generics are specialized
internally. That would explain what I wrote in my answer to Maciej.



-- 
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

Reply via email to