On 15/09/2015 21:42, Pierpaolo Bernardi wrote:
On Tue, Sep 15, 2015 at 10:19 PM, David Matthews <David.Matthews at prolingua.co.uk> 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