[m-rev.] diff: mmos bug fix

Zoltan Somogyi zs at csse.unimelb.edu.au
Thu Apr 19 17:07:58 AEST 2007

	Fix the determinism of table_mmos_completion. The wrong determinism
	could lead to a compiler abort, due to mode_util recomputing an
	incorrect instmap_delta (reachable instead of unreachable) after the
	predicate containing a call to table_mmos_completion had something else


cvs diff: Diffing .
Index: table_builtin.m
RCS file: /home/mercury/mercury1/repository/mercury/library/table_builtin.m,v
retrieving revision 1.57
diff -u -b -r1.57 table_builtin.m
--- table_builtin.m	18 Jan 2007 07:33:04 -0000	1.57
+++ table_builtin.m	19 Apr 2007 04:33:05 -0000
@@ -1363,7 +1363,7 @@
     % a fixed point, at which all depended suspended subgoals have had
     % all available answers returned to them.
-:- impure pred table_mmos_completion(ml_generator::in) is det.
+:- impure pred table_mmos_completion(ml_generator::in) is failure.
 :- implementation.
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au

More information about the reviews mailing list