trivial diff: unique_modes.m: update obsolete comment

Fergus Henderson fjh at cs.mu.OZ.AU
Sun May 31 02:38:52 AEST 1998


Estimated hours taken: 0.1

compiler/unique_modes.m:
	Update some obsolete documentation.

Index: compiler/unique_modes.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/unique_modes.m,v
retrieving revision 1.47
diff -u -r1.47 unique_modes.m
--- unique_modes.m	1998/04/27 04:02:28	1.47
+++ unique_modes.m	1998/05/30 16:37:07
@@ -14,11 +14,8 @@
 % Basically we just traverse each goal, keeping track of which variables
 % are nondet live.  At each procedure call, we check that any arguments
 % whose initial insts are required to be unique are not nondet live.
-% If they are, we report an error message.
-
-% XXX what if it would have matched ok with a different mode of the
-% called predicate (e.g. if a predicate is overloaded with both
-% `ui' and `in' modes)?
+% If they are, we first try selecting a different mode of the same
+% predicate, and if that fails, then we report an error message.
 
 % Variables can become nondet live in several places:
 % in negations, in the conditions of if-then-elses,

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