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