[m-dev.] diff: acc intro bug fix for extras/trailed_update/vars.m

[Peter Ross]

Hi,


===================================================================


Estimated hours taken: 1

Fixed a bug where extras/trailed_update/var.m was failing.

accumulator.m:
    In identify_recursive_calls add the constraint that the key must
    come from the recursive case.


Index: accumulator.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/accumulator.m,v
retrieving revision 1.13
diff -u -r1.13 accumulator.m
--- accumulator.m	2000/07/20 15:45:55	1.13
+++ accumulator.m	2000/07/27 08:54:14
@@ -601,6 +601,7 @@
 identify_recursive_calls(PredId, ProcId, GoalStore, Ids) :-
 	P = (pred(Key::out) is nondet :-
 		goal_store__member(GoalStore, Key, Goal - _InstMap),
+		Key = rec - _,
 		Goal = call(PredId, ProcId, _, _, _, _) - _
 	),
 	solutions(P, Ids).

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