[m-dev.] for review: make HLDS dumps easier to use

[Peter Ross]

On 22-Sep-1998, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> 
> Make HLDS dumps easier to use.
> 
> Estimated hours taken: 3
> 
> compiler/hlds_out.m:
> 	If dump_hlds_options includes I, print even imported predicates.
> 	This is useful for e.g. debugging termination analysis, where you
> 	must have access to the termination info of all procedures, not
> 	just those defined in the current module.
> 
> compiler/options.m:
> 	Rename the option verbose_hlds_dump to dump_hlds_options. Add a new
> 	option hlds_dump_alias, and make -D refer to the latter.
> 
> compiler/handle_options.m:
> 	If hlds_dump_alias is set, use its string value as an alias, a
> 	meaningful shorthand for an otherwise meaningless bunch of
> 	hlds option letters.
> 
> 	The initial set of aliases is "ALL", meaning all option letters;
> 	"all", meaning all option letters except I and U (which cause
> 	imported and unify procedures to be printed), and two others.
> 	You can add your own.
> 
> compiler/intermod.m:
> compiler/mercury_to_c.m:
> 	Use the new name of the renamed option.
> 
> doc/user_guide.texi:
> 	Update the documentation to conform to the changes to options.m
> 	and hlds_out.m, and fix some documentation rot.
> 
Looks fine.

Pete.