diff: compiler/mode_util.m: fix bug in mode_get_insts_semidet

Fergus Henderson fjh at cs.mu.OZ.AU
Thu Feb 12 04:01:02 AEDT 1998


compiler/mode_util.m:
	Fix a cut-and-paste bug in mode_get_insts_semidet:
	its recursive call was calling mode_get_insts
	instead of mode_get_insts_semidet.

cvs diff  compiler/mode_util.m
Index: compiler/mode_util.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/mode_util.m,v
retrieving revision 1.104
diff -u -r1.104 mode_util.m
--- mode_util.m	1998/01/13 10:12:57	1.104
+++ mode_util.m	1998/01/27 13:47:04
@@ -879,7 +879,7 @@
 						_Context, _Status),
 	ModeDefn = eqv_mode(Mode0),
 	mode_substitute_arg_list(Mode0, Params, Args, Mode),
-	mode_get_insts(ModuleInfo, Mode, Initial, Final).
+	mode_get_insts_semidet(ModuleInfo, Mode, Initial, Final).
 
 mode_get_insts(ModuleInfo, Mode, Inst1, Inst2) :-
 	( mode_get_insts_semidet(ModuleInfo, Mode, Inst1a, Inst2a) ->

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



More information about the developers mailing list