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
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
