[m-rev.] trivial diff: disable --warn-insts-without-matching-type when --inhibit-warnings set

[Ian MacLarty]

Estimated hours taken: 0.1
Branches: main

compiler/options.m:
	Disable the insts-without-matching-types warning when
	--inhibit-warnings is set.

Index: compiler/options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/options.m,v
retrieving revision 1.630
diff -u -r1.630 options.m
--- compiler/options.m	20 Sep 2008 11:38:04 -0000	1.630
+++ compiler/options.m	24 Sep 2008 03:14:13 -0000
@@ -2730,7 +2730,8 @@
             warn_stubs                      -   bool(Enable),
             warn_dead_procs                 -   bool(Enable),
             warn_table_with_inline          -   bool(Enable),
-            warn_non_term_special_preds     -   bool(Enable)
+            warn_non_term_special_preds     -   bool(Enable),
+            warn_insts_without_matching_type -  bool(Enable)
         ], OptionTable0, OptionTable).
 special_handler(infer_all, bool(Infer), OptionTable0, ok(OptionTable)) :-
     override_options([
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------