diff: pragma no_inline and --intermodule-optimization

[Simon Taylor]

Estimated hours taken: 0.1

compiler/intermod.m
	Don't write predicates with pragma no_inline 
	declarations to `.opt' files.

Index: intermod.m
===================================================================
RCS file: /home/staff/zs/imp/mercury/compiler/intermod.m,v
retrieving revision 1.33
diff -u -r1.33 intermod.m
--- intermod.m	1997/09/20 15:59:33	1.33
+++ intermod.m	1997/10/24 00:15:40
@@ -178,7 +178,11 @@
 			{ \+ code_util__predinfo_is_builtin(PredInfo0) },
 			(
 				{ inlining__is_simple_goal(Goal,
-						InlineThreshold) }
+						InlineThreshold) },
+				{ pred_info_get_marker_list(PredInfo0, 
+					Markers) },
+				{ \+ list__member(request(no_inline), 
+					Markers) }
 			;
 				{ pred_info_requested_inlining(PredInfo0) }
 			;