[m-dev.] for review: handle if_then_else and disj for acc introduction

[Simon Taylor]

Peter Ross wrote:
> Estimated hours taken: 10
> 
> compiler/accumulator.m:
>     Add the ability to add accumulators to if/then/else and disjunctions.

I'd suggest putting a description of the general transformation for
if-then-elses into the comment at the top of the file, as you have for
disjunctions/switches.

> +		Goal = if_then_else(_Vars, If, Then, Else, _SM) - _GoalInfo,

Does it matter if the condition contains a recursive call?
If that's not a problem this change looks OK.

Simon.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------