The Windows version of Poly/ML checks for the presence of standard input and standard output and only puts up its GUI window if they're not provided. If you are running the program under something that provides those streams, typically through pipes, Poly/ML will run in the background and communicate through the pipes.

The only complication is with signals. There is no concept of inter-process signals in Windows so there isn't a direct equivalent of pressing control-C and getting back to the top level as there is on Unix. The Windows version of Poly/ML sets up a DDE handler so that an external program can generate an Interrupt exception in the Poly/ML code. Because of this many people using Poly/ML on Windows actually use Cygwin and build from source.

Regards, David

Peter Bader wrote:

Hello all,

under Windows PolyML (I am using 5.3) starts its own window.

Is there a Windows Command Line version?

Why would I want it? I am using emacs with SML mode. This allows very convenient syntax oriented editing of the source code and running an ML "interpreter" in an extra emacs window/buffer, to which I can send fragments of my source code.

I would love to switch to PolyML but keep my environment. I would appreciate any help.

(I searched through the whole mailing list archive (polyml.mbox), but could not find an answer).

Best regards

Peter Bader (enthusiastic PolyML novice)

---

---

polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml