for review: fix a bug in debugger_interface.m:

[Erwan Jahier]

Again, if someone is happy with this, please commit it.


Note: I am not sure it the rigth change to fix that bug, but it fixes
it.

library/debugger_interface.m:
	reorder 'disj' and 'switch' in the trace_port_type type
	declaration to fix the following bug: the Mercury process was
	sending 'disj' at switch ports and vice versa.
	Add the new ports 'nondet_pragma_first' and 'nondet_pragma_later'.


Index: debugger_interface.m
===================================================================
RCS file:
/home/mercury1/repository/mercury/library/debugger_interface.m,v
retrieving revision 1.2
diff -u -r1.2 debugger_interface.m
--- debugger_interface.m	1998/03/18 07:44:54	1.2
+++ debugger_interface.m	1998/07/15 08:32:38
@@ -40,14 +40,16 @@
 % The stuff defined below is similar to types goal_path and trace_port
 % defined in modules compiler/hlds_goal.m and compiler/trace.m.
 
-:- type trace_port_type 
+:- type trace_port_type
 	--->	call
 	;	exit
 	;	fail
 	;	ite_then
 	;	ite_else
-	;	switch
 	;	disj
+	;	switch
+	;	nondet_pragma_first
+	;	nondet_pragma_later
 	.
 
 :- type goal_path_string == string.

-- 
R1.