[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