diff: Reorganisation of insts ADDENDUM

[Andrew Bromage]

G'day.

Oh, yes, I forgot an important part.

Cheers,
Andrew Bromage

[Added to previous log.]
compiler/notes/compiler_design.html:
	Document the new modules.


Index: compiler_design.html
===================================================================
RCS file: /home/staff/zs/imp/mercury/compiler/notes/compiler_design.html,v
retrieving revision 1.3
diff -u -r1.3 compiler_design.html
--- compiler_design.html	1997/06/25 05:23:57	1.3
+++ compiler_design.html	1997/07/23 02:26:40
@@ -102,7 +102,8 @@
 	using Definite Clause Grammar notation), prog_io_goal.m (which handles
 	goals), prog_io_pragma.m (which handles pragma declarations) and
 	prog_io_util.m (which defines predicates and types needed by the other
-	prog_io*.m modules.
+	prog_io*.m modules.  The data structure for insts is stored in
+	its own module, inst.m.
 	
 	<p>
 
@@ -250,9 +251,12 @@
 			a set of variables may be bound to.
 		<dt> inst_match.m
 			<dd>
-			This contains the code for dealing with insts:
-			abstractly unifying them, checking whether two
-			insts match, etc.
+			This contains the code for examining insts and
+			checking whether they match.
+		<dt> inst_util.m
+			<dd>
+			This contains the code for creating new insts from
+			old ones: unifying them, merging them and so on.
 		<dt> mode_errors.m
 			<dd>
 			This module contains all the code to