diff: small fix for tabling.

Tyson Dowd trd at cs.mu.OZ.AU
Mon May 18 13:57:26 AEST 1998


Hi,

Here's a small fix for tabling.

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


Estimated hours taken: 0.5

library/mercury_builtin.m:
	Fix some bugs in tabling -- the new handwritten code didn't
	create stack layouts for internal labels.


Index: library/mercury_builtin.m
===================================================================
RCS file: /home/staff/zs/imp/mercury/library/mercury_builtin.m,v
retrieving revision 1.96
diff -u -r1.96 mercury_builtin.m
--- mercury_builtin.m	1998/05/16 15:30:41	1.96
+++ mercury_builtin.m	1998/05/18 03:51:47
@@ -1629,6 +1629,22 @@
 Declare_label(mercury__table_resume_1_0_RedoPoint);
 
 MR_MAKE_STACK_LAYOUT_ENTRY(mercury__table_resume_1_0);
+MR_MAKE_STACK_LAYOUT_INTERNAL_WITH_ENTRY(
+	mercury__table_resume_1_0_ChangeLoop, mercury__table_resume_1_0);
+MR_MAKE_STACK_LAYOUT_INTERNAL_WITH_ENTRY(
+	mercury__table_resume_1_0_ChangeLoopDone, mercury__table_resume_1_0);
+MR_MAKE_STACK_LAYOUT_INTERNAL_WITH_ENTRY(
+	mercury__table_resume_1_0_SolutionsListLoop, mercury__table_resume_1_0);
+MR_MAKE_STACK_LAYOUT_INTERNAL_WITH_ENTRY(
+	mercury__table_resume_1_0_AnsListLoop, mercury__table_resume_1_0);
+MR_MAKE_STACK_LAYOUT_INTERNAL_WITH_ENTRY(
+	mercury__table_resume_1_0_AnsListLoopDone1, mercury__table_resume_1_0);
+MR_MAKE_STACK_LAYOUT_INTERNAL_WITH_ENTRY(
+	mercury__table_resume_1_0_AnsListLoopDone2, mercury__table_resume_1_0);
+MR_MAKE_STACK_LAYOUT_INTERNAL_WITH_ENTRY(
+	mercury__table_resume_1_0_SkipAns, mercury__table_resume_1_0);
+MR_MAKE_STACK_LAYOUT_INTERNAL_WITH_ENTRY(
+	mercury__table_resume_1_0_RedoPoint, mercury__table_resume_1_0);
 
 BEGIN_MODULE(table_resume_module)
 	init_entry_sl(mercury__table_resume_1_0);


-- 
       Tyson Dowd           # There isn't any reason why Linux can't be
                            # implemented as an enterprise computing solution.
     trd at cs.mu.oz.au        # Find out what you've been missing while you've
http://www.cs.mu.oz.au/~trd # been rebooting Windows NT. -- InfoWorld, 1998.



More information about the developers mailing list