[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