[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