[m-rev.] for review: trail usage optimization and intermodule analysis

[Julien Fischer]

On Thu, 16 Feb 2006, Zoltan Somogyi wrote:

> On 16-Feb-2006, Julien Fischer <juliensf at cs.mu.OZ.AU> wrote:
> >  :- pred annotate_proc(pred_proc_id::in,
> > -    module_info::in, module_info::out) is det.
> > +    module_info::in, module_info::out, io::di, io::uo) is det.
>
> Why do you pass the IO state? You seem to use it only to look up an option,
> but the options are also available in the module_info.
>

It's also passed to search_analysis_status which in turn calls the procedures
in the analysis framework.  They require the IO state since they might need to
read in extra .analysis files.

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