On 19/09/2015 12:30, Phil Clayton wrote:
Much appreciated. For now I'd like to get a version working on top of 5.5.2, and I assume assignment will suffice there. Is there a way to create a non-overwritable ref in a normal session? I don't seem to be able to access LibrarySupport.noOverwriteRef (and these seem to be needed for cleanAtExit to work).
Are you sure that LibrarySupport.noOverwriteRef is actually required for the finalisers to be run on exit? It should only make a difference if you're saving state. I've just tried editing basis/Finalizable.sml so that will compile under 5.5.2-fixes and tested it with a simple example and it does what I'd expect.
David _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
