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