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

Fergus Henderson fjh at cs.mu.OZ.AU
Wed Apr 22 12:09:28 AEST 1998


Actually, on second thoughts I do have some comments about part 3:

> --- 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"?

>  			local_term_info,% local termination info

Local to what -- the subgoal? the 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?

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.



More information about the developers mailing list