Anand Patil wrote:
On Sat, Oct 8, 2011 at 2:44 AM, Adam Chlipala<[email protected]> wrote:
The support for protocol plugins makes it possible to
compile shared object files and load them dynamically, in the same process
that initiated compilation. I've done this in unreleased code, so I know
it's possible. :)
Is it then possible to 'unload' and 'garbage collect' shared objects
that are no longer needed?
Sure. You can do whatever you can normally do in C with shared object
files on your chosen platform.
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
