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