[m-dev.] Please help... once more

Fergus Henderson fjh at cs.mu.OZ.AU
Mon Oct 16 22:18:38 AEDT 2000


On 16-Oct-2000, Erwan Jahier <Erwan.Jahier at irisa.fr> wrote:
> 
> | Please send a proper diff, not just cut-and-paste extracts.
> 
> diff -u trace-save/mercury_trace_external.c trace/mercury_trace_external.c
> --- trace-save/mercury_trace_external.c	Sat Aug 12 17:53:43 2000
> +++ trace/mercury_trace_external.c	Mon Oct 16 12:47:54 2000
> @@ -809,7 +809,8 @@
>  				if (collect_linked) {
>  					MR_send_message_to_socket(
>  						"collect_linked");
> -					external_debugger_mode = MR_collecting;
> +					cmd->MR_trace_cmd = MR_CMD_COLLECT;
> + 					external_debugger_mode = MR_collecting;
>  					MR_TRACE_CALL_MERCURY(
>  					  (*initialize_ptr)(&MR_collecting_variable));
>  

Ah, I think I see the reason.  The `finish' command, which you were
comparing against, is strict.  But with this implementation, `collect' is not.
I think a good part of that factor of 5 is the time spent checking for
breakpoints.  Try setting `cmd->MR_trace_strict = TRUE' there. 

Note that this is in code that you didn't include in your original 
cut-and-paste snippet.  If you want other people to debug your problem
it always helps to post a full diff.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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