diff: reference_manual.texi: inline & no_inline

[Fergus Henderson]

doc/reference_manual.texi:
	Put the documentation for `pragma inline' and `pragma no_inline'
	in a single section, rather than in two consecutive sections.

cvs diff: Diffing .
Index: reference_manual.texi
===================================================================
RCS file: /home/staff/zs/imp/mercury/doc/reference_manual.texi,v
retrieving revision 1.56
diff -u -r1.56 reference_manual.texi
--- reference_manual.texi	1997/07/21 06:12:07	1.56
+++ reference_manual.texi	1997/07/21 14:15:11
@@ -2512,13 +2512,12 @@
 @menu
 * C interface::                 The C interface allows C code to be called
                                 from Mercury code, and vice versa.
-* Inlining::                    Calls to Mercury predicates can be inlined
-                                by the compiler to improve efficiency.
-* Preventing Inlining::         Inlining can be avoided when undesirable.
+* Inlining::                    Pragmas can be used to suggest or prevent
+                                procedure inlining.
 @c * Tabling::                     Mercury predicates can be evaluated
 @c                                 using a three different forms of tabled
 @c                                 evaluation.
-
+ at c
 * Obsolescence::		Library developers can declare old versions
 				of predicates or functions to be obsolete.
 * Source file name::		The @samp{source_file} pragma and
@@ -2774,11 +2773,8 @@
 is a hint to the compiler that all calls to the predicate(s) or function(s)
 with name @var{Name} and arity @var{Arity} should be inlined.
 
-The current Mercury implementation is smart enough to inline many
+The current Mercury implementation is smart enough to inline
 simple predicates even without this hint.
-
- at node Preventing Inlining
- at section Preventing Inlining
 
 A declaration of the form
 

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.