[m-dev.] [reuse] diff: real headvars

Fergus Henderson fjh at cs.mu.OZ.AU
Mon Nov 20 23:16:13 AEDT 2000


On 20-Nov-2000, Nancy Mazur <Nancy.Mazur at cs.kuleuven.ac.be> wrote:
> +++ hlds_pred.m	2000/11/20 10:10:58
> @@ -1332,6 +1332,9 @@
>  :- pred proc_info_set_headvars(proc_info, list(prog_var), proc_info).
>  :- mode proc_info_set_headvars(in, in, out) is det.
>  
> +:- pred proc_info_real_headvars(proc_info, list(prog_var)).
> +:- mode proc_info_real_headvars(in, out) is det.

You should document what that does, i.e. what the
"real_headvars" field is supposed to contain, and
how it differs from the "headvars" field.

> @@ -1563,6 +1566,7 @@
>  	--->	procedure(
>  			prog_varset	:: prog_varset,
>  			var_types	:: vartypes,
> +			real_head_vars  :: list(prog_var),
>  			head_vars	:: list(prog_var),
>  			actual_head_modes :: list(mode),
>  			inst_varset :: inst_varset,

Likewise here, or you could just put a pointer here
to the documentation for proc_info_real_headvars.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list