On Fri, Feb 8, 2008 at 12:32 PM, Andreas Rossberg <[EMAIL PROTECTED]> wrote: > On Feb 7, 2008, at 23.29h, Jose Balado wrote: > > Hi, I would like to know how could I debug programs in Alice ML or > > Standard ML, it seems there is no debugger like in Oz or SWI-Prolog. [...] > As for other SMLs, I am not aware of any either, except that there > was a relatively fancy time travelling debugger for early versions of > SML/NJ.
Poly/ML has an experimental debugger: http://www.polyml.org/docs/Debugging.html . I haven't used it though. > > My intention is to trace program execution to help me understand > > algorithms and programs writenn in Alice. Any hints or links to > > bibliography would be very helpful, thanks. [...] > [...] Often, "print debugging" > is just as fine, especially if you have complex data structures that > you need to pre-process for inspection. For tracing program execution, a generic pretty printer can be useful: http://mlton.org/pipermail/mlton-user/2008-January/001341.html Unfortunately it has not been ported to Alice ML (it currently works with MLton, SML/NJ, and Poly/ML). The following example and the link to the article might also be useful: http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mltonlib/trunk/com/ssh/generic/unstable/example/memoize.sml?rev=6297 -Vesa Karvonen _______________________________________________ alice-users mailing list [email protected] http://www.ps.uni-sb.de/mailman/listinfo/alice-users
