As per, for example, https://travis-ci.org/HOL-Theorem-Prover/HOL/jobs/118129741
we are seeing "Out of store" aborts with builds that work fine under 5.5.2. The example above is on a Linux virtual machine. We've also seen them on real (i.e., not virtualised) OSX machines. Is there something obvious we might be doing that could be causing this? We're running all our sessions with --gcthreads=1 as per discussion in http://permalink.gmane.org/gmane.comp.lang.ml.polyml.general/976 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 polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml