2008/5/12 Tom Ridge thomas.ridge@cl.cam.ac.uk:
There is another problem though. The HOL/polyml top-level is usable for cut-and-pasting. However, I can't invoke any commands that involve system calls, otherwise I get a "Function system failed" message (from libpolyml/process_env.cpp). This is a problem because the xemacs sml mode writes commands to a temporary file and "use"s them into the top-level.
Does anyone have any ideas what might be causing these two problems?
What platform is this on (Unix/Cygwin/native Windows) and which version of Poly/ML (5.1/CVS)? There should be an error number in the exception packet. What is it? In general this message is simply passing on problems reported by system or library calls so it doesn't look like a problem with Poly/ML but it would help to have some more information.
David