[m-rev.] diff: hlds_goal.m style fixes

Zoltan Somogyi zs at csse.unimelb.edu.au
Mon Nov 1 16:21:05 AEDT 2010


compiler/hlds_goal.m:
	Minor style fixes.

Zoltan.

cvs diff: Diffing .
Index: hlds_goal.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/compiler/hlds_goal.m,v
retrieving revision 1.215
diff -u -b -r1.215 hlds_goal.m
--- hlds_goal.m	6 Nov 2009 02:22:01 -0000	1.215
+++ hlds_goal.m	1 Nov 2010 05:16:12 -0000
@@ -2154,7 +2154,7 @@
         MCI = mode_constr_goal_info(OccurringVars, ProducingVars,
             ConsumingVars, MakeVisibleVars, NeedVisibleVars)
     ),
-    !:GoalInfo = !.GoalInfo ^ gi_extra ^ egi_maybe_mode_constr := yes(MCI).
+    !GoalInfo ^ gi_extra ^ egi_maybe_mode_constr := yes(MCI).
 
 goal_info_set_producing_vars(ProducingVars, !GoalInfo) :-
     MMCI0 = !.GoalInfo ^ gi_extra ^ egi_maybe_mode_constr,
@@ -2170,7 +2170,7 @@
         MCI = mode_constr_goal_info(OccurringVars, ProducingVars,
             ConsumingVars, MakeVisibleVars, NeedVisibleVars)
     ),
-    !:GoalInfo = !.GoalInfo ^ gi_extra ^ egi_maybe_mode_constr := yes(MCI).
+    !GoalInfo ^ gi_extra ^ egi_maybe_mode_constr := yes(MCI).
 
 goal_info_set_consuming_vars(ConsumingVars, !GoalInfo) :-
     MMCI0 = !.GoalInfo ^ gi_extra ^ egi_maybe_mode_constr,
@@ -2186,7 +2186,7 @@
         MCI = mode_constr_goal_info(OccurringVars, ProducingVars,
             ConsumingVars, MakeVisibleVars, NeedVisibleVars)
     ),
-    !:GoalInfo = !.GoalInfo ^ gi_extra ^ egi_maybe_mode_constr := yes(MCI).
+    !GoalInfo ^ gi_extra ^ egi_maybe_mode_constr := yes(MCI).
 
 goal_info_set_make_visible_vars(MakeVisibleVars, !GoalInfo) :-
     MMCI0 = !.GoalInfo ^ gi_extra ^ egi_maybe_mode_constr,
@@ -2202,7 +2202,7 @@
         MCI = mode_constr_goal_info(OccurringVars, ProducingVars,
             ConsumingVars, MakeVisibleVars, NeedVisibleVars)
     ),
-    !:GoalInfo = !.GoalInfo ^ gi_extra ^ egi_maybe_mode_constr := yes(MCI).
+    !GoalInfo ^ gi_extra ^ egi_maybe_mode_constr := yes(MCI).
 
 goal_info_set_need_visible_vars(NeedVisibleVars, !GoalInfo) :-
     MMCI0 = !.GoalInfo ^ gi_extra ^ egi_maybe_mode_constr,
@@ -2218,7 +2218,7 @@
         MCI = mode_constr_goal_info(OccurringVars, ProducingVars,
             ConsumingVars, MakeVisibleVars, NeedVisibleVars)
     ),
-    !:GoalInfo = !.GoalInfo ^ gi_extra ^ egi_maybe_mode_constr := yes(MCI).
+    !GoalInfo ^ gi_extra ^ egi_maybe_mode_constr := yes(MCI).
 
 producing_vars(GoalInfo) = ProducingVars :-
     goal_info_get_producing_vars(GoalInfo, ProducingVars).
@@ -2284,7 +2284,7 @@
     ),
     CTGC = CTGC0 ^ ctgc_lfu := LFU,
     MaybeCTGC = yes(CTGC),
-    !:GoalInfo = !.GoalInfo ^ gi_extra ^ egi_maybe_ctgc := MaybeCTGC.
+    !GoalInfo ^ gi_extra ^ egi_maybe_ctgc := MaybeCTGC.
 
 goal_info_set_lbu(LBU, !GoalInfo) :-
     MaybeCTGC0 = !.GoalInfo ^ gi_extra ^ egi_maybe_ctgc,
@@ -2296,7 +2296,7 @@
     ),
     CTGC = CTGC0 ^ ctgc_lbu := LBU,
     MaybeCTGC = yes(CTGC),
-    !:GoalInfo = !.GoalInfo ^ gi_extra ^ egi_maybe_ctgc := MaybeCTGC.
+    !GoalInfo ^ gi_extra ^ egi_maybe_ctgc := MaybeCTGC.
 
 goal_info_set_reuse(Reuse, !GoalInfo) :-
     MaybeCTGC0 = !.GoalInfo ^ gi_extra ^ egi_maybe_ctgc,
@@ -2308,7 +2308,7 @@
     ),
     CTGC = CTGC0 ^ ctgc_reuse := Reuse,
     MaybeCTGC = yes(CTGC),
-    !:GoalInfo = !.GoalInfo ^ gi_extra ^ egi_maybe_ctgc := MaybeCTGC.
+    !GoalInfo ^ gi_extra ^ egi_maybe_ctgc := MaybeCTGC.
 
 goal_info_get_lfu(GoalInfo) = LFU :-
     MaybeLFU = goal_info_get_maybe_lfu(GoalInfo),
cvs diff: Diffing notes
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------



More information about the reviews mailing list