[m-rev.] Test fixes post state variable transformation

[Simon Taylor]

On 31-Jul-2002, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> Estimated hours taken: 6
> Branches: main
> 
> Mostly minor fixes to make test cases pass after the state variable
> transformation was introduced.
 
> Index: compiler/make_hlds.m
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/compiler/make_hlds.m,v
> retrieving revision 1.422
> diff -u -r1.422 make_hlds.m
> --- compiler/make_hlds.m	30 Jul 2002 13:26:48 -0000	1.422
> +++ compiler/make_hlds.m	31 Jul 2002 00:29:37 -0000
> @@ -6047,16 +6047,17 @@
>  
>  transform_goal_2(call(Name, Args0, Purity), Context, VarSet0, Subst, Goal,
>  		VarSet, Info0, Info, SInfo0, SInfo) -->
> -	{ prepare_for_call(SInfo0, SInfo1) },
>  	{ Args1 = expand_bang_state_var_args(Args0) },
>  	( 
>  		{ Name = unqualified("\\=") },
>  		{ Args1 = [LHS, RHS] }
>  	->
> +		{ prepare_for_call(SInfo0, SInfo1) },
>  			% `LHS \= RHS' is defined as `not (LHS = RHS)'
>  		transform_goal_2(not(unify(LHS, RHS, Purity) - Context),
>  			Context, VarSet0, Subst, Goal, VarSetX, Info0, Info,
> -			SInfo1, SInfoX)
> +			SInfo1, SInfoX),
> +		{ finish_call(VarSetX, VarSet, SInfoX, SInfo) }

prepare_for_call/finish_call should be unnecessary here because
they will be called when the unification is processed.

Otherwise, this change looks fine.

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