On 16.01.2012 16:05, Sven Barth wrote:
How firm are you with the implementation of generics inside the compiler?
Totally blank. Since you are the person who has been working on that area most
recently, I would actually appreciate if you could compile a document (on the
wiki?) outlining the internal workings of generics in FPC; for the current
documentation, I understand, is quite lacking. On my part, I already have a
document (only in Russian, though) describing the implementation of closures; I
will translate and publish it after my initial commits (which I expect to be on
We/Th this week).
If you're not that firm it might be better if I implement generic
procedures/methods first and then you can build on that (as that should
hopefully be reusable by you).
For now, I don't reckon that any ordering is required.
Note that the only thing in closures that can have type parameters is method
references
type M<T> = reference to procedure(const X: T);
which are converted, internally, into generic interfaces.
A nameless routine (closure) can only /refer/ to generic type parameters of the
enclosing routine/class, and I hope that making it generic-aware/generic-safe
wouldn't be that hard.
--
βþ
_______________________________________________
fpc-devel maillist - [email protected]
http://lists.freepascal.org/mailman/listinfo/fpc-devel
