On 15/09/2015 21:42, Pierpaolo Bernardi wrote:
On Tue, Sep 15, 2015 at 10:19 PM, David Matthews
<[email protected]> wrote:
On 15/09/2015 20:35, Pierpaolo Bernardi wrote:
How does emacs run the ML? If it runs it as a process with standard input
and standard output through pipes then I would expect Poly/ML to run
perfectly well and not produce its GUI. I use Poly/ML that way with my own
Windows IDE and the testing version of Isabelle works that way as well.
You are right! It was some time I hadn't used PolyML and I was misremembering.
The only problem of PolyML under Emacs is that it does not print any
prompt. Sorry.
You need the "-i" option on the command line. By default Poly/ML only
prints the prompt if the input is a console under both Windows and Unix.
If the input stream is a pipe you need to tell it that you have an
interactive input.
David
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
