[mercury-users] accumulator introduction

[Peter Ross]

On Fri, Jun 23, 2000 at 01:11:05PM +1000, Michael Day wrote:
> 
> Is there any way for Mercury to automatically convert this predicate to
> use an accumulator, or is it condemned to overflow the detstack forever?
> 
It is now in the latest rotd, you need to pass --introduce-accumulators
and --intermodule-optimization (needed to get the declaration that + is
associative).

`-O3' also turns accumulator introduction on.

Pete
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------