[m-dev.] diff: fix debugger hp allocation bug

[Peter Ross]

Fergus,

Just a small typo I found while scanning the code.  I didn't really
review the code as such.

Pete.

On 06-Nov-1998, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> I haven't tested this very well yet, but I plan to commit it anyway,
> so that the nightly tests will test it in a variety of grades
> on different architectures.  Even if this change doesn't fix
> all the problems, it at least does a good job of abstracting
> the code, so that there should be much fewer places we need
> to modify if this doesn't work or if things change.
> 
> ----------------------------
> @@ -444,32 +446,39 @@
>  		layout->MR_sll_entry->MR_sle_detism,
>  		(String) (Word) path,
>  		(Word) &MR_debugger_socket_out);
> +    );
>  }
>  
>  static void
>  MR_output_current_vars(Word var_list, Word string_list)
>  {
> -	MR_DI_output_current_vars(
> +    MR_TRACE_CALL_MERCURY(
> +	ML_DI_output_current_vars(
>  		var_list,
>  		string_list,
>  		(Word) &MR_debugger_socket_out);
> +    );
>  }
>  
>  static void
>  MR_output_current_nth_var(Word var)
>  {
> -	MR_DI_output_current_nth_var(
> +    MR_TRACE_CALL_MERCURY(
> +	ML_DI_output_current_nth_var(
>  		var,
>  		(Word) &MR_debugger_socket_out);
> +    ):

s/:/;/


>  }
>  
>  static void
>  MR_output_current_live_var_names(Word var_names_list, Word type_list)
>  {
> -	MR_DI_output_current_live_var_names(
> +    MR_TRACE_CALL_MERCURY(
> +	ML_DI_output_current_live_var_names(
>  		var_names_list,
>  		type_list,
>  		(Word) &MR_debugger_socket_out);
> +    );
>  }
>  
>  static void
> @@ -478,10 +487,13 @@
>  			Integer *debugger_request_type_ptr)
>  {		
>  	fflush(MR_debugger_socket_in.file);
> -	MR_DI_read_request_from_socket(
> +
> +    MR_TRACE_CALL_MERCURY(
> +	ML_DI_read_request_from_socket(
>  		(Word) &MR_debugger_socket_in, 
>  		debugger_request_ptr, 
>  		debugger_request_type_ptr);
> +    );
>  }
>   
>