[m-dev.] Tdiff: termination analysis (BIG!)

[Fergus Henderson]

Christopher Rodd SPEIRS, you wrote:
> 
> compiler/hlds_out.m:
> 	Added code to output 'pragma terminates' and 
> 	'pragma check_termination'.  Added code to output the
> 	termination property of the procedure.

s/property/properties/

> +++ hlds_out.m	1997/04/04 08:43:19
> @@ -165,6 +165,8 @@
>  
>  :- import_module bool, int, string, list, set, map, std_util, assoc_list.
>  :- import_module term, term_io, varset, require, getopt.
> +:- import_module termination, term_util.

Do you need to import term_util here?

> +	io__write_string("% Inferred Termination:"),

s/:/: /
s/T/t/

> +	io__write_string("% Termination - UsedArgs:"),

s/:/: /
s/UserArgs/used args/

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