[m-dev.] spypoints in external debugger

Fergus Henderson fjh at cs.mu.OZ.AU
Wed Oct 20 09:42:52 AEST 1999


On 19-Oct-1999, Erwan Jahier <Erwan.Jahier at irisa.fr> wrote:
> +++ mercury_trace_external.c	1999/10/19 14:08:23
> @@ -1115,8 +1113,7 @@
>  
>  	if (MR_ENTRY_LAYOUT_COMPILER_GENERATED(entry)) {
>  		MR_send_message_to_socket_format(
> -			/* XXX Names with ' may cause some problems here */
> -			"proc('%s for %s:%s'/%ld-%ld).\n",
> +			"proc(%s,%s,%s,%ld,%ld).\n",
>  			entry->MR_sle_comp.MR_comp_pred_name,
>  			entry->MR_sle_comp.MR_comp_type_module,
>  			entry->MR_sle_comp.MR_comp_type_name,

I think that should be

			"proc(\"%s\",\"%s\",\"%s\",%ld,%ld).\n",

and the XXX should stay (with ' changed to ").

> @@ -1142,8 +1139,7 @@
>  		}
>  		
>  		MR_send_message_to_socket_format(
> -			/* XXX Names with ' may cause some problems here */
> -			"proc('%s:%s'/%ld-%ld).\n",
> +			"proc(%s,%s,%ld,%ld).\n",
>  			entry->MR_sle_user.MR_user_decl_module,
>  			entry->MR_sle_user.MR_user_name,
>  			(long) entry->MR_sle_user.MR_user_arity,

Likewise.

Apart from that, that change looks OK.

-- 
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