[m-rev.] for review: minimal model tabling analysis

[Julien Fischer]

On Thu, 1 Jun 2006, Zoltan Somogyi wrote:

> > +:- pred make_opt_int(module_info::in, io::di, io::uo) is det.
> > +
> > +make_opt_int(ModuleInfo, !IO) :-
> > +    module_info_get_name(ModuleInfo, ModuleName),
> > +    module_name_to_file_name(ModuleName, ".opt.tmp", no, OptFileName, !IO),
> > +    globals.io_lookup_bool_option(verbose, Verbose, !IO),
> > +    maybe_write_string(Verbose, "% Appending mm_tabling_info pragmas to `",
> > +        !IO),
>
> Why is this a separate pass?

What do you mean, why is it separate from the rest of the tabling analysis
or why is separate from the intermodule-optimization code in intermod.m?

> > + at item @samp{will_not_call_mm_tabled/may_call_mm_tabled}
> > +This attribute declares whether or not a foreign procedure makes calls
> > +back to Mercury procedures that are evaluated using minimal model tabling
> > +(see @ref{Tabled evaluation}).  Specifying that a foreign procedure
> > +will not call procedures evaluated using minimal model tabling may allow
> > +the compiler to generate more efficient code.  In compilation grades that
> > +do not support minimal model tabling this attribute is ignored.  These
> > +attributes may not be used with procedures that do not make calls back
> > +to Mercury, i.e. that have the @samp{will_not_call_mercury} attribute.
> > +The default, in case none is specified, is @samp{may_call_mm_tabled}.

I've changed the last sentence to:

	The default for foreign procedures that @samp{may_call_mercury},
	in case none is specified, is @samp{may_call_mm_tabled}.

I've followed your other suggestions elsewhere.

Thanks for that.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------