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

[Zoltan Somogyi]

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.

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