[fpc-devel] Closures

[Blaise Thorn]

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.

-- 
βþ