trivial diff: modecheck_unify.m lambda goal contexts

Fergus Henderson fjh at kryten.cs.mu.OZ.AU
Mon Oct 13 20:23:58 AEST 1997


compiler/modecheck_unify.m:
	When converting curried higher-order terms into lambda goals,
	make sure we set the goal_info_context field for the introduced
	lambda goal.

cvs diff compiler/modecheck_unify.m
Index: compiler/modecheck_unify.m
===================================================================
RCS file: /home/staff/zs/imp/mercury/compiler/modecheck_unify.m,v
retrieving revision 1.23
diff -u -r1.23 modecheck_unify.m
--- 1.23	1997/09/15 21:11:56
+++ modecheck_unify.m	1997/10/13 10:22:21
@@ -282,7 +282,10 @@
 		set__list_to_set(Args, InsideVars),
 		set__intersect(OutsideVars, InsideVars, LambdaNonLocals),
 		goal_info_init(LambdaGoalInfo0),
-		goal_info_set_nonlocals(LambdaGoalInfo0, LambdaNonLocals,
+		mode_info_get_context(ModeInfo2, Context),
+		goal_info_set_context(LambdaGoalInfo0, Context,
+				LambdaGoalInfo1),
+		goal_info_set_nonlocals(LambdaGoalInfo1, LambdaNonLocals,
 				LambdaGoalInfo),
 		LambdaGoal = LambdaGoalExpr - LambdaGoalInfo,
 

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