On 27 Sep 2014, at 16:10, saroj <[email protected]> wrote:
> Hi,
> I am using PolyML in windows XP sp3 . I tried to run through example
> on how to use source level debugger, which is provided on you website
> .http://www.polyml.org/docs/Debugging.html
>
> I am able to open debugging prompt using open PolyML.Debug option.
> But I am unable to exit debug prompt. I tried control C option . But it is
> only interrupting compilation, without breakIn option as shown in your
> website. I set breakIn "f" option
> as mentioned.
>
> Please let me the solution.
The documentation is out of date. PolyML no longer implements the dialogue
asking you
what to do after a keyboard interrrupt (Control C). In the example in the
documentation,
the program loops, so if you just call “continue()” you will be stuck in the
debugger.
One way out is to call continueWithEx with an exception that the
program doesn’t handle. E.g., (in the documented example) do:
continueWithEx Div;
Maybe David might like to consider adding a function to the debugger that will
abandon the thread being debugged.
Regards
Rob.
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
