X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fbugs.xml;h=7fd47c9a200c4ee1f48eab83c69bda4526ed96de;hb=c6e9a86f03efb4fdef5ed10fcb93b64439fdec60;hp=4d79d24268e5e587434f157e41e8559d1ece1dd4;hpb=41b9dfa595948df05e3f1370861ec9869ec852bb;p=ghc-hetmet.git

diff --git a/docs/users_guide/bugs.xml b/docs/users_guide/bugs.xml
index 4d79d24..7fd47c9 100644
--- a/docs/users_guide/bugs.xml
+++ b/docs/users_guide/bugs.xml
@@ -298,6 +298,24 @@ checking for duplicates.  The reason for this is efficiency, pure and simple.
     </variablelist>
       
     </sect2>
+
+  <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>
+    
   </sect1>