[m-rev.] diff: mmos bug fix

[Zoltan Somogyi]

library/table_builtin.m:
	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
	inlined.

Zoltan.

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