[m-dev.] diff: fix bug in browser/util.m

[Fergus Henderson]

Estimated hours taken: 0.25

Fix a bug reported by Erwan Jahier: Zoltan's recent change
broke the external debugger interface.

browser/util.m:
	Change the order of the enum here to match that
	in runtime/mercury_trace_base.h.

runtime/mercury_trace_base.h:
	Update the documentation to point to browser/util.m
	rather than browser/debugger_interface.m.

Workspace: /d-drive/home/hg/fjh/ws-hg2/mercury
Index: browser/util.m
===================================================================
RCS file: /home/mercury1/repository/mercury/browser/util.m,v
retrieving revision 1.5
diff -u -d -r1.5 util.m
--- browser/util.m	1999/11/30 00:04:26	1.5
+++ browser/util.m	1999/12/15 18:51:38
@@ -21,6 +21,7 @@
 	;	exit
 	;	redo
 	;	fail
+	;	exception
 	;	ite_cond
 	;	ite_then
 	;	ite_else
@@ -31,7 +32,6 @@
 	;	switch
 	;	nondet_pragma_first
 	;	nondet_pragma_later
-	;	exception
 	.
 
 :- type goal_path_string == string.
Index: runtime/mercury_trace_base.h
===================================================================
RCS file: /home/mercury1/repository/mercury/runtime/mercury_trace_base.h,v
retrieving revision 1.11
diff -u -d -r1.11 mercury_trace_base.h
--- runtime/mercury_trace_base.h	1999/12/14 04:54:17	1.11
+++ runtime/mercury_trace_base.h	1999/12/15 19:02:12
@@ -21,9 +21,9 @@
 
 /*
 ** This enum should EXACTLY match the definition of the `trace_port_type'
-** type in browser/debugger_interface, the definition of the predicates
-** `llds_out__trace_port_to_{int,string}', and port names list in the C source
-** file of this module.
+** type in browser/util.m, the definition of the predicates
+** `llds_out__trace_port_to_{int,string}', and the port names list
+** in the C source file of this module (mercury_trace_base.c).
 */
 
 typedef	enum {

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