[m-dev.] diff: document some modules in compiler_design.html

[Fergus Henderson]

Estimated hours taken: 0.25

compiler/notes/compiler_design.html:
	Document stratify.m and trans_opt.m.

Workspace: /home/mercury0/fjh/mercury
Index: compiler/notes/compiler_design.html
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/notes/compiler_design.html,v
retrieving revision 1.42
diff -u -d -r1.42 compiler_design.html
--- compiler_design.html	1999/12/02 05:48:24	1.42
+++ compiler_design.html	1999/12/20 10:37:29
@@ -189,12 +189,20 @@
 	</ul>
  
 
-<li> reading and writing of optimization interfaces (intermod.m). <br>
+<li> reading and writing of optimization interfaces
+     (intermod.m and trans_opt.m). <br>
 	
 	<module>.opt contains clauses for exported preds suitable for
 	inlining or higher-order specialization. The `.opt' file for the
 	current module is written after type-checking. `.opt' files
 	for imported modules are read here.
+	<module>.opt contains termination analysis information
+	for exported preds (eventually it ought to contain other
+	"transitive" information too, e.g. for optimization, but
+	currently it is only used for termination analysis).
+	`.trans_opt' files for imported modules are read here.
+	The `.trans_opt' file for the current module is written
+	after the end of semantic analysis.
 
 <li> expansion of equivalence types (equiv_type.m) <br>
 
@@ -436,6 +444,13 @@
 	Note that what unique_modes.m does is quite similar to
 	what modes.m does, and unique_modes calls lots of predicates
 	defined in modes.m to do it.
+
+<dt> stratification checking
+
+	<dd>
+	The module stratify.m implements the `--warn-non-stratification'
+	warning, which is an optional warning that checks for loops
+	through negation.
 
 <dt> simplification (simplify.m)
 

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