[m-rev.] Extend solver initialisation to cover disjunctions and if-then-elses

[Ralph Becket]

Zoltan Somogyi, Friday, 18 March 2005:
> On 18-Mar-2005, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> >  	mode_info_get_module_info(!.ModeInfo, ModuleInfo0),
> >  	mode_info_get_how_to_check(!.ModeInfo, HowToCheckGoal),
> > -	mode_info_get_var_types(!.ModeInfo, VarTypes),
> >  
> >  	%
> >  	% Fully module qualify all cons_ids
> > @@ -492,6 +491,8 @@
> >  		mode_info_var_is_live(!.ModeInfo, X, LiveX),
> >  		ExtraGoals0 = no_extra_goals
> >  	),
> > +
> > +	mode_info_get_var_types(!.ModeInfo, VarTypes),
> 
> You probably want to add a comment here saying why this call must be here.

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