[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