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

[Julien Fischer]

On Fri, 2 Jun 2006, Zoltan Somogyi wrote:

> On 02-Jun-2006, Julien Fischer <juliensf at cs.mu.OZ.AU> wrote:
> > > 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?
>
> The latter.

intermod.m is misnamed, it's really code for doing the
inlining/higher-order specialization part of intermodule-optimization.
Other optimizations/analysis have always provided a separate predicate
for writing out their bit of the .opt file, which is then called from
mercury_compile.maybe_write_optfile.

(Yes, the whole thing is a bit of a mess, but that's one of the reasons
we are replacing it.  As to why it is that way  - I haven't been
working on Mercury that long ;-) )

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