[m-dev.] trivial diff: disable Aditi memoing

[Simon TAYLOR]

Estimated hours taken: 0.1

compiler/hlds_pred.m:
	Memoing of Aditi predicates does not yet work, so disable it.

Index: hlds_pred.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/hlds_pred.m,v
retrieving revision 1.75
diff -u -u -r1.75 hlds_pred.m
--- hlds_pred.m	2000/03/13 02:22:59	1.75
+++ hlds_pred.m	2000/06/01 07:45:24
@@ -2030,6 +2030,8 @@
 		"aggregate_compute_initial", 5).
 
 hlds_pred__is_aditi_memoed(ModuleInfo, PredId) :-
+	% XXX memoing doesn't work yet.
+	semidet_fail,
 	module_info_pred_info(ModuleInfo, PredId, PredInfo),
 	pred_info_get_markers(PredInfo, Markers),
 	(
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------