[m-dev.] For review: compiler notes changes

Thomas Conway conway at cs.mu.OZ.AU
Thu Oct 14 09:45:57 AEST 1999

For Fergus, I guess.

 Thomas Conway )O+     Every sword has two edges.
     Mercurian            <conway at cs.mu.oz.au>

Add some documentation in the compiler notes.

	Mention lp.m in the termination analysis section.
	Mention par_conj.m in the parallel conjunction section.

cvs diff: Diffing .
Index: compiler_design.html
RCS file: /home/staff/zs/imp/mercury/compiler/notes/compiler_design.html,v
retrieving revision 1.38
diff -u -r1.38 compiler_design.html
--- compiler_design.html	1999/09/16 03:20:07	1.38
+++ compiler_design.html	1999/10/13 22:55:04
@@ -496,6 +496,10 @@
 term_util.m defines the main types used in termination analysis
 and contains utility predicates.
+lp.m is used by term_pass1.m. It implements the Linear Programming
+algorithm for optimizing a set of linear constraints with respect to
+a linear cost function.
@@ -644,6 +648,7 @@
 		<li> call_gen.m (predicate calls and also calls to
 			out-of-line unification procedures)
 		<li> disj_gen.m (disjunctions)
+		<li> par_conj.m (parallel conjunctions)
 		<li> unify_gen.m (unifications)
 		<li> switch_gen.m (switches), which has sub-modules
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

More information about the developers mailing list