[m-dev.] Debugging

Ralph Becket rafe at cs.mu.OZ.AU
Wed Jul 14 13:04:07 AEST 2004


This is more-or-less me wishing out loud...

(1) I would find some form of conditional breakpoints useful for
debugging.  Something as simple as breaking when a certain subterm of a
certain procedure argument matches a given string or number would do.
For instance, when tracing through the compiler trying to identify the
call that processes a particular problem case, I currently either have
to step linearly through all the possible calls until I get to the one
I'm interested in or I have to work in a special dummy call into the
compiler code handling that case and break on that.  Neither of these
options are particularly appealing for obvious reasons.

(2) I'd like to be able to "mark" terms somehow for later reference and
be able to view diffs between terms.  Example: for seeing what's changed
between the input and output versions of a term after a call.

-- Ralph
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list