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 Phil _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml