[m-dev.] trivial diff: use better var names in polymorphism.m

[Fergus Henderson]

Estimated hours taken: 0.25

compiler/polymorphism.m:
	Use more meaningful variable names, as suggested by dgj's code review.

Workspace: /home/mercury0/fjh/mercury-other
Index: compiler/polymorphism.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/polymorphism.m,v
retrieving revision 1.164
diff -u -r1.164 polymorphism.m
--- polymorphism.m	1999/06/30 17:12:36	1.164
+++ polymorphism.m	1999/07/07 14:46:19
@@ -655,7 +655,8 @@
 :- mode polymorphism__process_clause(in, in, in, in, in, in,
 		in, out, in, out) is det.
 
-polymorphism__process_clause(PredInfo0, HeadVars0, HeadVars, UnconstrainedTVars,
+polymorphism__process_clause(PredInfo0, OldHeadVars, NewHeadVars,
+			UnconstrainedTVars,
 			ExtraTypeInfoHeadVars, ExistTypeClassInfoHeadVars,
 			Clause0, Clause) -->
 	(
@@ -674,13 +675,13 @@
 		% and type-infos for existentially quantified type vars
 		%
 		polymorphism__produce_existq_tvars(
-			PredInfo0, HeadVars0,
+			PredInfo0, OldHeadVars,
 			UnconstrainedTVars, ExtraTypeInfoHeadVars,
 			ExistTypeClassInfoHeadVars,
 			Goal1, Goal2),
 
 		{ pred_info_get_exist_quant_tvars(PredInfo0, ExistQVars) },
-		polymorphism__fixup_quantification(HeadVars, ExistQVars,
+		polymorphism__fixup_quantification(NewHeadVars, ExistQVars,
 			Goal2, Goal),
 		{ Clause = clause(ProcIds, Goal, Context) }
 	).

-- 
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.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------