Hi. I have tried so evaluate the available debuggers for standard ML and as far as I can see the only one available is the poly/ml interactive debugger.
It is documented here: https://www.polyml.org/documentation/Tutorials/Debugging.html I have tried to run the example in the linked documentation but I am not getting any sensible feedback. The shell seems to hang when I run the line > addList 0 [(1,2), (3, 4)]; and no debug prompt shows up. I have tried to enter the example line by line into the interactive shell as well as putting it in a .sml file and running it with poly --use my_file.sml The same thing happens in both. The shell hangs and no debug prompt shows up. I am running the standard poly/ml from the Ubuntu-provided .deb package available on Ubuntu 20.04 Do you have any suggestions to what I might be doing wrong? Regards, Morten
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
