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

[Julien Fischer]

On Mon, 27 Apr 2009, Peter Ross wrote:

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


You should add notes to each entry in the bug database about the
workaround as well.

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