[m-dev.] trivial diff: clarify comment in simplify.m

[Fergus Henderson]

On 05-Sep-2000, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> On 04-Sep-2000, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> > +				% If-then-elses that are det or semidet may
> > +				% nevertheless contain nondet or multidet
> > +				% conditions. If this happens, the if-then-else
> > +				% must be put inside a `some' to appease the
> > +				% code generator.
> 
> You should say *which* code generator needs to be so appeased.

Actually both the LLDS and MLDS code generators rely on this.
(For Aditi code generator, if-then-elses are transformed into
disjunctions before simplification is run, so this case never
arises.)

----------

Estimated hours taken: 0.25

compiler/simplify.m:
	Clarify a comment.

Workspace: /home/pgrad/fjh/ws/hg
Index: compiler/simplify.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/simplify.m,v
retrieving revision 1.84
diff -u -d -r1.84 simplify.m
--- compiler/simplify.m	2000/09/07 01:46:52	1.84
+++ compiler/simplify.m	2000/09/11 10:06:10
@@ -1033,7 +1033,8 @@
 				% nevertheless contain nondet or multidet
 				% conditions. If this happens, the if-then-else
 				% must be put inside a `some' to appease the
-				% code generator.
+				% code generator.  (Both the MLDS and LLDS
+				% back-ends rely on this.)
 				%
 				simplify_do_once(Info),
 				CondSolns = at_most_many,

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