From 8cc3094c86a03238e040831d14a144e48f6aad93 Mon Sep 17 00:00:00 2001
From: Simon Marlow <marlowsd@gmail.com>
Date: Thu, 23 Jul 2009 11:10:26 +0000
Subject: [PATCH] Remove note about avoiding use of #def in libraries It
 should be safe to use now that we aren't relying on C
 prototypes for foreign functions in via-C code.

---
 docs/users_guide/utils.xml |    9 ---------
 1 file changed, 9 deletions(-)

diff --git a/docs/users_guide/utils.xml b/docs/users_guide/utils.xml
index 6c82f6b..ecd55a5 100644
--- a/docs/users_guide/utils.xml
+++ b/docs/users_guide/utils.xml
@@ -392,15 +392,6 @@ tags:
             <literal>inline</literal>, <literal>struct</literal> or
             <literal>typedef</literal> keyword must come just after
             <literal>def</literal>.</para>
-
-	    <note><para>A <literal>foreign import</literal> of a
-	    C function may be inlined across a module boundary,
-	    in which case you must arrange for the importing
-	    module to <literal>#include</literal> the C header
-	    file generated by <command>hsc2hs</command> (see
-	    <xref linkend="glasgow-foreign-headers"/>).
-	    For this reason we avoid using <literal>#def</literal>
-	    in the libraries.</para></note>
 	  </listitem>
 	</varlistentry>
 
-- 
1.7.10.4