ghc: allow --show-options and --interactive together
[ghc.git] / docs / users_guide / using.xml
index bf4f1c5..a3b3d05 100644 (file)
@@ -923,10 +923,11 @@ GHC.ST.runST :: (forall s. GHC.ST.ST s a) -> a
 <listitem><para>If any of the quantified type variables has a kind
 that mentions a kind variable, e.g.
 <screen>
-ghci> :i Data.Coerce.coerce
-coerce ::
-  forall (k :: BOX) (a :: k) (b :: k). Coercible a b => a -> b
-     -- Defined in GHC.Prim
+ghci> :i Data.Type.Equality.sym
+Data.Type.Equality.sym ::
+  forall (k :: BOX) (a :: k) (b :: k).
+  (a Data.Type.Equality.:~: b) -> b Data.Type.Equality.:~: a
+        -- Defined in Data.Type.Equality
 </screen>
 </para></listitem>
 </itemizedlist>
@@ -1610,6 +1611,21 @@ module M where
       </varlistentry>
 
       <varlistentry>
+        <term><option>-fwarn-missing-exported-sigs</option>:</term>
+        <listitem>
+          <indexterm><primary><option>-fwarn-missing-exported-sigs</option></primary></indexterm>
+          <indexterm><primary>type signatures, missing</primary></indexterm>
+
+          <para>If you would like GHC to check that every exported top-level
+          function/value has a type signature, but not check unexported values, use the
+          <option>-fwarn-missing-exported-sigs</option> option.  This option
+          takes precedence over <option>-fwarn-missing-signatures</option>.
+          As part of the warning GHC also reports the inferred type.  The
+          option is off by default.</para>
+        </listitem>
+      </varlistentry>
+
+      <varlistentry>
         <term><option>-fwarn-missing-local-sigs</option>:</term>
         <listitem>
           <indexterm><primary><option>-fwarn-missing-local-sigs</option></primary></indexterm>
@@ -2406,35 +2422,6 @@ _  = rhs3        -- No warning: lone wild-card pattern
 
         <varlistentry>
           <term>
-            <option>-fllvm-pass-vectors-in-regs</option>
-            <indexterm><primary><option>-fllvm-pass-vectors-in-regs</option></primary></indexterm>
-          </term>
-          <listitem>
-            <para>On 32-bit machines it changes calling convention used with LLVM backend
-             to pass 128-bit vectors in SIMD registers. At the moment this does not work
-             because this is not supported by LLVM. We strongly suggest you don't use this flag.
-            </para>
-          </listitem>
-        </varlistentry>
-
-        <varlistentry>
-          <term>
-            <option>-fllvm-tbaa</option>
-            <indexterm><primary><option>-fllvm-tbaa</option></primary></indexterm>
-          </term>
-          <listitem>
-            <para><emphasis>On by default for <option>-O0</option>, <option>-O</option>,
-                  <option>-O2</option>.</emphasis>
-            </para>
-            <para>Enables type-based alias analysis for LLVM backend.
-                  At the moment this has limited usefullness since we pass
-                  very little information to LLVM.
-            </para>
-          </listitem>
-        </varlistentry>
-
-        <varlistentry>
-          <term>
             <option>-floopification</option>
             <indexterm><primary><option>-floopification</option></primary></indexterm>
           </term>