trivial diff: trans_opt.m comments

[Fergus Henderson]

Estimated hours taken: 0.25

compiler/trans_opt.m:
	Delete some obsolete comments, and add a few new ones.

cvs diff  compiler/trans_opt.m
Index: compiler/trans_opt.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/trans_opt.m,v
retrieving revision 1.5
diff -u -r1.5 trans_opt.m
--- trans_opt.m	1998/01/14 02:21:35	1.5
+++ trans_opt.m	1998/01/25 04:12:51
@@ -34,20 +34,15 @@
 % All these items should be module qualified.
 % Constructors should be explicitly type qualified.
 %
+% Note that the .trans_opt file does not (yet) include clauses,
+% `pragma c_code' declarations, or any of the other information
+% that would be needed for inlining or other optimizations;
+% currently it is used *only* for termination analysis.
+%
 % This module also contains predicates to read in the .trans_opt files.
-% 
-% Transitive intermodule optimization is currently a work in progress.
-% The current implementation correctly outputs the trans_opt file when the
-% --make-trans-opt option is given, and also correctly imports other
-% trans_opt files.  What is not finished is as follows:
 %
-% -	The system for ensuring that circular dependencies do not occur
-% 	needs to be decided upon and then implemented.
+% See also intermod.m, which handles `.opt' files.
 %
-% -	The Makefile rules need to be modifed to force .trans_opt files to
-% 	be remade when necessary.  This will depend on the method chosen to
-% 	prevent circular dependencies from occuring.
-% 
 %-----------------------------------------------------------------------------%
 
 :- module trans_opt.

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