[m-rev.] for review: unused arg determinism bug fix

[Simon Taylor]

On 13-Feb-2002, Peter Ross <petdr at cs.mu.OZ.AU> wrote:
> Index: compiler/unused_args.m
> ===================================================================
> @@ -982,6 +982,18 @@
>  	proc_info_headvars(OldProc0, HeadVars),
>  	proc_info_goal(OldProc0, Goal0), 
>  	Goal0 = _GoalExpr - GoalInfo0,
> +
> +		% We must use the declared determinism for determining
> +		% the determinism of the version of the goal with its
> +		% arguments removed.
> +	proc_info_declared_determinism(OldProc0, MaybeDeterminism),
> +	( MaybeDeterminism = yes(DeclaredDeterminism),
> +		Determinism = DeclaredDeterminism
> +	; MaybeDeterminism = no,
> +		proc_info_inferred_determinism(OldProc0, Determinism)
> +	),

Use proc_info_interface_determinism.

> Index: tests/valid/unused_arg_determinism.exp
> ===================================================================
> @@ -0,0 +1,4 @@
> +Uncaught exception:
> +Software Error: sorry, `foo' not implemented
> +for this target language (or compiler back-end).
> +Stack dump not available in this grade.

Tests in tests/valid aren't executed, so they don't need `.exp' files.

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