[Ur] Compiling code at runtime

[Adam Chlipala]

Anand Patil wrote:
> On Sat, Oct 8, 2011 at 2:44 AM, Adam Chlipala<adamc at impredicative.com>  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.