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

[Zoltan Somogyi]

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.

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