Mention that generalised list comprehensions are enabled with -XTransformListComp

[ghc-hetmet.git] / docs / users_guide / bugs.xml

diff --git a/docs/users_guide/bugs.xml b/docs/users_guide/bugs.xml
index 4d79d24..7fd47c9 100644 (file)
--- 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>