[fpc-pascal] Operator overload resolution with arrays

Martok listbox at martoks-place.de
Mon Feb 5 15:26:06 CET 2018


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.




More information about the fpc-pascal mailing list