[m-dev.] for review: deforestation [3/3]

[Simon Taylor]

> 
> > --- pd_info.m	Tue Mar 24 14:52:55 1998
> > +++ ../compiler/pd_info.m	Mon Mar 30 12:43:00 1998
> ...
> > +	% unfold_info contains data used while processing a goal.
> >  :- type unfold_info
> >  	--->	unfold_info(
> >  			proc_info,
> ...
> 
> Used by what?  What sort of processing?
> 
> Would "procedure body" be more appropriate than "goal"?

How about 
        % unfold_info contains information used while searching a procedure
        % body for unfolding and deforestation opportunities.

> 
> >  			local_term_info,% local termination info
> 
> Local to what -- the subgoal? the procedure?

                        local_term_info,% information used to prevent 
                                        % infinite unfolding within the 
                                        % current procedure.

> 
> > +	% Find the best matching version for a goal.
> >  :- pred pd_info__search_version(hlds_goal::in, maybe_version::out,
> >  	pd_info::pd_info_di, pd_info::pd_info_uo) is det.
> 
> Best version of what?
> 
	
        % Find the deforestation procedure which most closely
        % matches the given goal.

Simon.