[m-rev.] for review: restore writing promises to .opt files

[Peter Wang]

On Tue, 10 Jul 2012 17:14:12 +1000 (EST), Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> > @@ -257,6 +257,8 @@ module_add_clause(ClauseVarSet, PredOrFunc, PredName, Args0, Body, Status,
> >
> >                 % Check if there are still no modes for the predicate, and
> >                 % if so, set the `infer_modes' flag for that predicate.
> > +                % (Predicates representing promises do not need mode inference
> > +                % so the flag could be omitted for them.)
> 
> So why not omit it then?

Alright.  Committed with that changed.

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