diff: bug fix for jump.* and fast.* grades

Fergus Henderson fjh at cs.mu.OZ.AU
Wed Jul 1 20:11:05 AEST 1998


Fix a bug in my changes to split up mercury_builtin.m
that broke grades where labels are not static consts.

library/builtin.m:
	In sys_init_builtin_types_module(), call
	mercury__private_builtin__init() instead of mercury__builtin__init(),
	since the entry labels which we need initialized are in 
	private_builtin.m, not in builtin.m.

Index: library/builtin.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/builtin.m,v
retrieving revision 1.1
diff -u -r1.1 builtin.m
--- builtin.m	1998/05/25 21:47:39	1.1
+++ builtin.m	1998/07/01 10:06:53
@@ -457,7 +457,7 @@
 	** we might initialize the base_type_info with
 	** garbage
 	*/
-	mercury__builtin__init();
+	mercury__private_builtin__init();
 
 	MR_INIT_BUILTIN_BASE_TYPE_INFO(
 		mercury_data___base_type_info_int_0, _int_);

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



More information about the developers mailing list