[m-rev.] diff: increase from_ground_term_threshold to 1000000 to avoid regressions

[Peter Ross]

Hi,


===================================================================


Estimated hours taken: 0.1
Branches: main

Increase from_ground_term_threshold from 5 to 1000000 to avoid
the two regressions reported in bugs 93 and 94 in the bug database.

compiler/options.m:
	Make from_ground_term_threshold limit be 1000000.


Index: compiler/options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/options.m,v
retrieving revision 1.646
diff -u -r1.646 options.m
--- compiler/options.m	21 Apr 2009 02:18:53 -0000	1.646
+++ compiler/options.m	27 Apr 2009 01:50:42 -0000
@@ -1437,7 +1437,10 @@
     intermod_inline_simple_threshold    -   int(5),
                                         % Has no effect until
                                         % --intermodule-optimization.
-    from_ground_term_threshold          -   int(5),
+    from_ground_term_threshold          -   int(1000000),
+                                        % This limit has been increased
+                                        % until bugs 93 and 94 have
+                                        % been fixed.
     common_struct                       -   bool(no),
     common_struct_preds                 -   string(""),
     common_goal                         -   bool(yes),

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------