[m-rev.] Improved scheduling of solver type initialisation goals

[Ralph Becket]

Julien Fischer, Monday, 27 September 2004:
> 
> On Fri, 24 Sep 2004, Ralph Becket wrote:
> > +:- pred candidate_init_vars_2(mode_info::in, list(hlds_goal)::in,
> > +		set(prog_var)::in, set(prog_var)::out,
> > +		set(prog_var)::in, set(prog_var)::out) is nondet.
> > +
> > +candidate_init_vars_2(ModeInfo, Goals, !NonFree, !CandidateVars) :-
> > +	list__foldl2(candidate_init_vars_3(ModeInfo), Goals,
> > +		!.NonFree,       !:NonFree,
> > +		!.CandidateVars, !:CandidateVars).
> > +
> Why not just !NonFree and !CandidateVars here?

Oops.

> Other than that, this looks fine.

Magic.

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