diff: output module dependency ordering

[Tyson Richard DOWD]

Simon Taylor <stayl at cs.mu.OZ.AU> writes:



>Estimated hours taken: 1

>Added option --generate-module-ordering which prints out the module 

prints out the module *ordering* ?

"prints out" -- or puts into a .order file?

>during dependency generation. This is useful for improving the 
>effectiveness of termination analysis. 

>compiler/options.m
>compiler/handle_options.m
>	Added option --generate-module-ordering.

>compiler/modules.m
>	Compute and print out the ordering.	

>doc/user_guide.texi
>	Document --generate-module-ordering.

> 
>@@ -648,6 +681,9 @@
> 		list(string)	% fact table dependencies
> 	).
> 
>+	% deps_rel(Module1, Module2) means Module1 is imported by Module2.
>+:- type deps_rel == relation(string).
>+

This isn't clear, deps_rel doesn't even have two arguments, and isn't
a constructor.
	
Otherwise the diff seems OK, but it adds YET ANOTHER DOT FILE to the
compiler.