On 05/11/2020 18:25, Morten Olsen Lysgaard wrote:
Ah, scrap that.
I was able to make the example work in the interactive prompt. But I am still not able to make it run with running
poly --use my_file.sml
Is there any reason this should not work? Is there a difference in how code is executed when it is "used" instead of typed by hand into the interpreter?
I would like to be able to script the debugging, and it would be very helpful to be able to run it fully automated from the command line without emulating input.
Have a look at PolyML.DebuggerInterface (https://www.polyml.org/documentation/Reference/PolyMLDebuggerInterface.html). This is the API that the higher level PolyML.Debug uses.
David