[m-dev.] for review: deforestation [3/3]
stayl at cs.mu.OZ.AU
Fri Apr 24 18:48:59 AEST 1998
> > --- 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"?
% 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.
More information about the developers