[m-rev.] first step toward functional dependencies (2/3)

[Julien Fischer]

On Wed, 23 Mar 2005, Mark Brown wrote:

> @@ -858,9 +858,9 @@
>  	%
>  	% Check that the class constraints are identical.
>  	%
> -	apply_subst_to_constraints(RenameSubst,
> +	apply_subst_to_prog_constraints(RenameSubst,
>  		Constraints2, RenamedConstraints2),
> -	apply_rec_subst_to_constraints(Types2ToTypes1Subst,
> +	apply_rec_subst_to_prog_constraints(Types2ToTypes1Subst,
>  		RenamedConstraints2, SubstConstraints2),
>  	Constraints1 = SubstConstraints2.
>

...

> +
> +:- pred rename_constraint_proof(map(tvar, tvar)::in, constraint_proof::in,
> +	constraint_proof::out) is det.
> +
> +% apply a type variable renaming to a class constraint proof
> +
Does that comment apply to the whole predicate? If so, move it above
the predicate declaration.

To be continued ...

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------