[Document hs_init() infelicity (#2863)
Simon Marlow <marlowsd@gmail.com>**20081209164322] {
hunk ./docs/users_guide/bugs.xml 301
+
+  <sect2 id="ffi-divergence">
+    <title>Divergence from the FFI specification</title>
+    
+    <variablelist>
+      <varlistentry>
+        <term><literal>hs_init()</literal> not allowed
+        after <literal>hs_exit()</literal></term>
+        <listitem>
+          <para>The FFI spec requires the implementation to support
+            re-initialising itself after being shut down
+            with <literal>hs_exit()</literal>, but GHC does not
+            currently support that.</para>
+        </listitem>
+      </varlistentry>
+    </variablelist>
+  </sect2>
+    
hunk ./docs/users_guide/ffi-chap.xml 254
-	re-initialise after this has happened.</para>
+	re-initialise after this has happened,
+	see <xref linkend="ffi-divergence" />.</para>
}