compiler/options.m:
Rename the internal names of these three options. Keep the old
external names, but make the main external name the new name.
NEWS.mdb:
Announce the renames.
compiler/check_options.m:
compiler/det_check_proc.m:
compiler/det_check_switch.m:
compiler/simplify_goal_ite.m:
Conform to the change above. Change the severity of the messages
controlled by the changed options severity_warning.
tests/warnings/help_text.err_exp:
Expect the updated help text.
mdbcomp/feedback.feedback_info.m:
mdbcomp/feedback.m:
Move all the contents of feedback.m other than include_module items
into the new module feedback_info.m, leaving feedback.m a package.
mdbcomp/feedback.automatic_parallelism.m:
Group the types exported by this module into groups of related types.
Delete a totally unused type.
deep_profiler/Mmakefile:
slice/Mmakefile:
Copy the new module.
compiler/check_options.m:
compiler/globals.m:
compiler/handle_options.m:
compiler/introduce_parallelism.m:
deep_profiler/autopar_reports.m:
deep_profiler/autopar_search_callgraph.m:
deep_profiler/mdprof_create_feedback.m:
deep_profiler/mdprof_report_feedback.m:
Import the new module.
compiler/hlds_out_module.m:
If a new control boolean is set, then dump the contents of the cons_table.
Add a comment containing summary information derived from such dumps.
compiler/hlds_out_util.m:
Add this new control boolean.
compiler/check_options.m:
Allow the specification of this new control boolean.
compiler/hlds_cons.m:
Provide a utility predicate for giving hlds_out_module.m the info
it needs without making the structure of the cons_table public.
compiler/mercury_compile_llds_back_end.m:
Rename the final dump stage of the LLDS backend to "final", since
that is what the user guide documents. (The MLDS backend already had
this right.)
tools/cons_table.awk:
Add this script for summarizing dumped cons_tables.
compiler/check_options.m:
New module containing the purely-checking parts of handle_options.m.
compiler/handle_options.m:
Delete the moved code.
compiler/libs.m:
compiler/notes/compiler_design.html:
Add and document the new module.
