[mercury-users] Debug messages
Ian MacLarty
maclarty at cs.mu.OZ.AU
Fri Feb 18 14:00:37 AEDT 2005
On 18 Feb 2005, at 01:11, Elmar Haneke wrote:
> Hi,
>
> how can I make my program output some trace-data without using the
> io_state?
>
> For debugging pruposes it is very much more convenient to place an
> 'print("Was here")' to some code where no IO-state is passed or IO is
> not possible due to backtracking..
>
Have you tried using the debugger? It gives you more control than just
inserting print statements - for example you can insert conditional
breakpoints, retry already executed goals if you go to far, or browse
large terms interactively.
Ian.
--------------------------------------------------------------------------
mercury-users mailing list
post: mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe: Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------
More information about the users
mailing list