[m-dev.] Re: for review: Accumulator introduction

[Peter David ROSS]

On 24-Jun-1998, Lee Naish <lee at cs.mu.OZ.AU> wrote:
> Fergus Henderson <fjh at cs.mu.OZ.AU> writes:
> 
> >So, I would like you to put a lot more effort into the documentation,
> >address the other points raised above, and then send another diff. 
> 
> I agree.  There were some comments I made in the earler discussion
> relating to (associativity) assertions which should be addressed also.
> 
Am I correct that there was only two points

    * After transformation O(N) alg becomes O(N^2).

This is not handled at all.  At the moment my main concern is
determining that it is correct, not necessarily efficient, to do the
transformation.

I will add support for this later.

    * assocativity when arguments are different types (ie foldl to
      foldr).

I haven't thought about this thanks for the reminder.

Pete.