<div>Thanks again, guys. I'm not sure Ur is quite right for what I'm trying to do, but it is an incredible language. I hope you get lots of users.</div><div><br></div><div>With best wishes,</div><div>Anand</div><div>

<br></div>On Sat, Oct 8, 2011 at 2:30 PM, Adam Chlipala <span dir="ltr"><<a href="mailto:adamc@impredicative.com">adamc@impredicative.com</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

Anand Patil wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">
On Sat, Oct 8, 2011 at 2:44 AM, Adam Chlipala<<a href="mailto:adamc@impredicative.com" target="_blank">adamc@impredicative.<u></u>com</a>>  wrote:<br>
   <br>
</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
The support for protocol plugins makes it possible to<div class="im"><br>
compile shared object files and load them dynamically, in the same process<br>
that initiated compilation.  I've done this in unreleased code, so I know<br>
it's possible. :)<br>
     <br>
</div></blockquote><div class="im">
Is it then possible to 'unload' and 'garbage collect' shared objects<br>
that are no longer needed?<br>
   <br>
</div></blockquote>
<br>
Sure.  You can do whatever you can normally do in C with shared object files on your chosen platform.<div><div></div><div class="h5"><br>
<br>
______________________________<u></u>_________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" target="_blank">http://www.impredicative.com/<u></u>cgi-bin/mailman/listinfo/ur</a><br>
</div></div></blockquote></div><br>