> On 24 Sep 2015, at 02:02, Phil Clayton <[email protected]> wrote: > > 23/09/15 03:11, Michael Norrish wrote: >> Or is there another way of getting what I need? I'd like to dispense with >> explicit calls in our own code to PolyML.export, and then needing to call >> the linker, but we do want to be able to build heaps in this way, layer by >> layer. > > Have you looked at PolyML.SaveState ? > http://www.polyml.org/documentation/Reference/PolyMLSaveState.html >
No, but that's very interesting thanks! Perhaps that'd be altogether better. Michael ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
