It works for me.
$ ./poly -i Poly/ML 5.9.1 Release (Git version v5.9.1)
1;
val it = 1: int
it;
val it = 1: int
OS.Process.exit OS.Process.success;
poly: : warning: The type of (it) contains a free type variable. Setting it to a unique monotype.
Are you sure you've built it with --disable-windows-gui ? If you find the "poly" executable with the Explorer and double-click on it it should pop up a black console window. If it pops up a white "Poly/ML" window it's using the Poly windows GUI.
David
On 22/05/2025 16:09, Gergely Buday wrote:
On a mingw64 terminal window poly -i does start, I get a prompt and can write an expression to evaluate but I get no response after sending it. Is there any cure for this?
In a cmd window for poly -i I get the standard Windows interface to Poly/ML and I did a double check that I did not start the canonical Windows Poly/ML executable, and my Windows PATH did not include the directory for that. I did use the --disable-windows-gui in the beginning. Do you have an idea why this has happened?
- Gergely