[m-rev.] diff: double the typecheck ambiguity warning limit

Julien Fischer jfischer at opturion.com
Fri Nov 7 14:44:17 AEDT 2014


Double the typecheck ambiguity warning limit.

The current value of --typecheck-ambiguity-warn-limit, 50, was set a very long
time ago, certainly pre-2000 (it might even be the original limit).  I think we
can increase this limit on modern machines without undue side effects and doing
so avoids spurious warnings.

compiler/options.m:
 	As above.

Julien.

diff --git a/compiler/options.m b/compiler/options.m
index 0e53b6e..c5dd0ac 100644
--- a/compiler/options.m
+++ b/compiler/options.m
@@ -1918,7 +1918,7 @@ option_defaults_2(build_system_option, [
  option_defaults_2(miscellaneous_option, [
      % Miscellaneous Options
      filenames_from_stdin                -   bool(no),
-    typecheck_ambiguity_warn_limit      -   int(50),
+    typecheck_ambiguity_warn_limit      -   int(100),
      typecheck_ambiguity_error_limit     -   int(3000),
      help                                -   bool(no),
      version                             -   bool(no),



More information about the reviews mailing list