[m-dev.] diff: fix bug with minimal model tabling
Fergus Henderson
fjh at cs.mu.OZ.AU
Wed Dec 15 15:13:49 AEDT 1999
Estimated hours taken: 0.25
library/private_builtin.m:
Replace a call to the obsolete make() with
a call to MR_GC_NEW(). This was in code
that was inside `#ifdef MR_USE_MINIMAL_MODEL',
which is why it hadn't been caught earlier.
(Thanks to zs for spotting this one.)
Workspace: /mnt/hg/home/hg/fjh/mercury
Index: library/private_builtin.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/private_builtin.m,v
retrieving revision 1.34
diff -u -d -r1.34 private_builtin.m
--- library/private_builtin.m 1999/11/25 09:09:39 1.34
+++ library/private_builtin.m 1999/12/15 03:57:37
@@ -874,7 +874,7 @@
#endif
subgoal->status = MR_SUBGOAL_INACTIVE;
subgoal->leader = NULL;
- subgoal->followers = make(struct MR_SubgoalListNode);
+ subgoal->followers = MR_GC_NEW(struct MR_SubgoalListNode);
subgoal->followers->item = subgoal;
subgoal->followers->next = NULL;
subgoal->followers_tail = &(subgoal->followers->next);
--
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
--------------------------------------------------------------------------
More information about the developers
mailing list