Hi Marco,
I've made a patch against vala git for getting this directly with valac (but only when it's possible), please test it http://go.3v1n0.net/euaIxh and let me know how it works for you ;)
I'll run benchmarks with patched valac, but I don't know if I'll have time until Sunday. I'll let you know. best regards, -- Mój klucz publiczny o identyfikatorze 1024D/E12C5A4C znajduje się na serwerze hkp://keys.gnupg.net My public key with signature 1024D/E12C5A4C is on the server hkp://keys.gnupg.net
Attachment:
signature.asc
Description: PGP signature