For review: a change in MR_trace_event_external()

[Erwan Jahier]

This one is for Zoltan or Fergus.

This change undo a change made by Zoltan quite a long time ago.

runtime/mercury_trace.c:
runtime/mercury_trace_external.c:
runtime/mercury_trace_external.c:
	Add "MR_trace_cmd_info *cmd" in argument of MR_trace_event_external().


Index: mercury_trace.c
===================================================================
RCS file: /home/mercury1/repository/mercury/runtime/mercury_trace.c,v
retrieving revision 1.16
diff -u -r1.16 mercury_trace.c
--- mercury_trace.c	1998/07/16 14:12:57	1.16
+++ mercury_trace.c	1998/07/17 09:54:55
@@ -128,7 +128,7 @@
 	MR_copy_regs_to_saved_regs(max_mr_num);
 #ifdef MR_USE_EXTERNAL_DEBUGGER
 	if (MR_trace_handler == MR_TRACE_EXTERNAL) {
-		MR_trace_event_external(layout, port, seqno, depth, path);
+		MR_trace_event_external(cmd, layout, port, seqno, depth, path,
line_number);
 	} else {
 		MR_trace_event_internal(cmd, layout, port, seqno, depth, path);
 	}
	
Index: mercury_trace_external.c
===================================================================
RCS file:
/home/mercury1/repository/mercury/runtime/mercury_trace_external.c,v
retrieving revision 1.3
diff -u -r1.3 mercury_trace_external.c
--- mercury_trace_external.c	1998/07/13 22:44:12	1.3
+++ mercury_trace_external.c	1998/07/17 09:55:28
@@ -303,16 +323,16 @@
 }
 
 void
-MR_trace_event_external(const MR_Stack_Layout_Label *layout,
-	MR_trace_port port, Unsigned seqno, Unsigned depth, const char *path)
+MR_trace_event_external(MR_trace_cmd_info *cmd, 
+	const MR_Stack_Layout_Label *layout, MR_trace_port port,
+	Unsigned seqno, Unsigned depth, const char *path)
 {
 	static bool searching = FALSE;

Index: mercury_trace_external.h
===================================================================
RCS file:
/home/mercury1/repository/mercury/runtime/mercury_trace_external.h,v
retrieving revision 1.1
diff -u -r1.1 mercury_trace_external.h
--- mercury_trace_external.h	1998/05/16 07:28:26	1.1
+++ mercury_trace_external.h	1998/07/17 09:55:38
@@ -11,9 +11,10 @@
 
 extern	void	MR_trace_init_external(void);
 extern	void	MR_trace_final_external(void);
-extern	void	MR_trace_event_external(const MR_Stack_Layout_Label
*layout,
+extern	void	MR_trace_event_external(MR_trace_cmd_info *cmd,
+			const MR_Stack_Layout_Label *layout,
 			MR_trace_port port, Unsigned seqno, Unsigned depth,
			const char *path);

-- 
R1.