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