[m-dev.] for review: accumulator.m 2

[Zoltan Somogyi]

> The meaning of the Prev Call Map is still a bit mysterious.
> Which previous calls do you mean?
> Does it record whether *all* previous calls have been commutative
> or whether just *some* previous calls were commutative?
> 
> > 	%
> > 	% Package all the types into one structure so that I don't have
> > 	% to individually pass each of these as a seperate argument in
> > 	% some of the predicates where they are threaded through.
> > 	%
> > :- type package
> > 	--->	pack(
> > 			proc_id,
> > 			proc_info,
> > 			pred_id,
> > 			pred_info,
> > 			module_info
> > 		).
> 
> It might be better to call the type and functor `proc_pred_module_info'
> rather than `package' and `pack'.

When we introduced similar structures in other modules, we usually named
them something like <modulename>_info, which would suggest the name
accumulator_info. proc_pred_module_info is too specific; the contents
of the structure can change later.

Zoltan.