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.
With best wishes, Anand On Sat, Oct 8, 2011 at 2:30 PM, Adam Chlipala <[email protected]>wrote: > Anand Patil wrote: > >> On Sat, Oct 8, 2011 at 2:44 AM, Adam >> Chlipala<adamc@impredicative.**com<[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<http://www.impredicative.com/cgi-bin/mailman/listinfo/ur> >
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
