[m-rev.] diff: remove compiler/excess.m

[Simon Taylor]

Estimated hours taken: 0.2

Remove compiler/excess.m. Its functionality has been included in
simplify.m. The rationale for leaving it lying around was that it
may have been necessary to provide a version which maintains
superhomogeneous form. Experience has shown that when a compiler
pass requires strict superhomogeneous form (e.g. magic.m)
it's simpler to add back the extra assignments where needed.

compiler/excess.m:
	Removed.

compiler/dnf.m:
	Remove the last import of excess.m.

compiler/notes/compiler_design.html
	Remove description of excess.m.


Index: dnf.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/dnf.m,v
retrieving revision 1.44
diff -u -u -r1.44 dnf.m
--- dnf.m	2001/04/07 14:04:36	1.44
+++ dnf.m	2001/05/22 16:06:24
@@ -61,7 +61,7 @@
 :- implementation.
 
 :- import_module code_aux, code_util, hlds_goal, hlds_data, prog_data, instmap.
-:- import_module dependency_graph, det_analysis, excess, mode_util.
+:- import_module dependency_graph, det_analysis, mode_util.
 :- import_module require, map, list, string, int, bool, std_util, term, varset.
 
 	% Traverse the module structure.
Index: notes/compiler_design.html
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/notes/compiler_design.html,v
retrieving revision 1.61
diff -u -u -r1.61 compiler_design.html
--- notes/compiler_design.html	2001/05/16 04:50:55	1.61
+++ notes/compiler_design.html	2001/05/22 16:10:28
@@ -1105,33 +1105,14 @@
 
 <p>
 
-The following modules do not serve any function at the moment.
-Some of them are obsolete; other are work-in-progress.
-(For some of them its hard to say which!)
-
 	<dl>
 
-	<dt> excess.m:
-		<dd>
-		This eliminates assignments that merely introduce another
-		name for an already existing variable. The functionality of
-		this module has been included in simplify.m, however sometime
-		in the future it may be necessary to provide a version which
-		maintains superhomogeneous form.
-
 	<dt> lco.m:
 		<dd>
 		This finds predicates whose implementations would benefit
 		from last call optimization modulo constructor application.
 		It does not apply the optimization and will not until the
 		mode system is capable of expressing definite aliasing.

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------