Commit ea283aa7 authored by Ian Lynagh's avatar Ian Lynagh
Browse files

Documentation updates

parent 551f6eb1
......@@ -536,8 +536,9 @@
<listitem>
<para>
<literal>GHC.Exts</literal> now provides a function
<literal>lazy</literal> which forces GHC to think that its
argument is lazy in its first argument.
<literal>lazy</literal>, where <literal>lazy f</literal>
behaves like <literal>f</literal>, except GHC is forced
to believe that it is lazy in its first argument.
For more details, see <xref linkend="special-ids" />.
</para>
</listitem>
......
......@@ -134,16 +134,6 @@
</listitem>
</varlistentry>
<varlistentry>
<term>
<option>-ddump-usagesp</option>:
<indexterm><primary><option>-ddump-usagesp</option></primary></indexterm>
</term>
<listitem>
<para>UsageSP inference pre-inf and output</para>
</listitem>
</varlistentry>
<varlistentry>
<term>
<option>-ddump-cpranal</option>:
......@@ -194,16 +184,6 @@
</listitem>
</varlistentry>
<varlistentry>
<term>
<option>-ddump-sat</option>:
<indexterm><primary><option>-ddump-sat</option></primary></indexterm>
</term>
<listitem>
<para>output of &ldquo;saturate&rdquo; pass</para>
</listitem>
</varlistentry>
<varlistentry>
<term>
<option>-ddump-stg</option>:
......@@ -214,16 +194,6 @@
</listitem>
</varlistentry>
<varlistentry>
<term>
<option>-ddump-absC</option>:
<indexterm><primary><option>-ddump-absC</option></primary></indexterm>
</term>
<listitem>
<para><emphasis>un</emphasis>flattened Abstract&nbsp;C</para>
</listitem>
</varlistentry>
<varlistentry>
<term>
<option>-ddump-flatC</option>:
......@@ -234,26 +204,6 @@
</listitem>
</varlistentry>
<varlistentry>
<term>
<option>-ddump-realC</option>:
<indexterm><primary><option>-ddump-realC</option></primary></indexterm>
</term>
<listitem>
<para>same as what goes to the C compiler</para>
</listitem>
</varlistentry>
<varlistentry>
<term>
<option>-ddump-stix</option>:
<indexterm><primary><option>-ddump-stix</option></primary></indexterm>
</term>
<listitem>
<para>native-code generator intermediate form</para>
</listitem>
</varlistentry>
<varlistentry>
<term>
<option>-ddump-asm</option>:
......@@ -431,21 +381,6 @@
</listitem>
</varlistentry>
<varlistentry>
<term>
<option>-dusagesp-lint</option>:
<indexterm><primary><option>-dstg-lint</option></primary></indexterm>
</term>
<listitem>
<para>Turn on checks around UsageSP inference
(<option>-fusagesp</option>). This verifies various simple
properties of the results of the inference, and also warns
if any identifier with a used-once annotation before the
inference has a used-many annotation afterwards; this could
indicate a non-worksafe transformation is being
applied.</para>
</listitem>
</varlistentry>
</variablelist>
</sect2>
......
......@@ -733,13 +733,6 @@
<entry><option>-fno-warn-incomplete-record-updates</option></entry>
</row>
<row>
<entry><option>-fwarn-misc</option></entry>
<entry>enable miscellaneous warnings</entry>
<entry>dynamic</entry>
<entry><option>-fno-warn-misc</option></entry>
</row>
<row>
<entry><option>-fwarn-missing-fields</option></entry>
<entry>warn when fields of a record are uninitialised</entry>
......@@ -1070,12 +1063,6 @@
<entry>static</entry>
<entry><option>-no-auto-all</option></entry>
</row>
<row>
<entry><option>-auto-dicts</option></entry>
<entry>Auto-add <literal>_scc_</literal>s to all dictionaries</entry>
<entry>static</entry>
<entry><option>-no-auto-dicts</option></entry>
</row>
<row>
<entry><option>-caf-all</option></entry>
<entry>Auto-add <literal>_scc_</literal>s to all CAFs</entry>
......@@ -1512,13 +1499,7 @@
</thead>
<tbody>
<row>
<entry><option>-mv8</option></entry>
<entry>(SPARC only) enable version 8 support</entry>
<entry>static</entry>
<entry>-</entry>
</row>
<row>
<entry><option>-monly-[32]-regs</option></entry>
<entry><option>-monly-[432]-regs</option></entry>
<entry>(x86 only) give some registers back to the C compiler</entry>
<entry>dynamic</entry>
<entry>-</entry>
......@@ -1579,12 +1560,6 @@
<entry>dynamic</entry>
<entry>-</entry>
</row>
<row>
<entry><option>-ddump-absC</option></entry>
<entry>Dump abstract C</entry>
<entry>dynamic</entry>
<entry>-</entry>
</row>
<row>
<entry><option>-ddump-asm</option></entry>
<entry>Dump assembly</entry>
......@@ -1651,12 +1626,6 @@
<entry>dynamic</entry>
<entry>-</entry>
</row>
<row>
<entry><option>-ddump-realC</option></entry>
<entry>Dump &ldquo;real&rdquo; C</entry>
<entry>dynamic</entry>
<entry>-</entry>
</row>
<row>
<entry><option>-ddump-rn</option></entry>
<entry>Dump renamer output</entry>
......@@ -1669,12 +1638,6 @@
<entry>dynamic</entry>
<entry>-</entry>
</row>
<row>
<entry><option>-ddump-sat</option></entry>
<entry>Dump saturated output</entry>
<entry>dynamic</entry>
<entry>-</entry>
</row>
<row>
<entry><option>-ddump-simpl</option></entry>
<entry>Dump final simplifier output</entry>
......@@ -1717,12 +1680,6 @@
<entry>dynamic</entry>
<entry>-</entry>
</row>
<row>
<entry><option>-ddump-usagesp</option></entry>
<entry>Dump UsageSP analysis output</entry>
<entry>dynamic</entry>
<entry>-</entry>
</row>
<row>
<entry><option>-ddump-worker-wrapper</option></entry>
<entry>Dump worker-wrapper output</entry>
......@@ -1741,12 +1698,6 @@
<entry>dynamic</entry>
<entry>-</entry>
</row>
<row>
<entry><option>-ddump-stix</option></entry>
<entry>Native code generator intermediate form</entry>
<entry>dynamic</entry>
<entry>-</entry>
</row>
<row>
<entry><option>-ddump-simpl-stats</option></entry>
<entry>Dump simplifier stats</entry>
......@@ -1789,12 +1740,6 @@
<entry>dynamic</entry>
<entry>-</entry>
</row>
<row>
<entry><option>-dusagesp-lint</option></entry>
<entry>UsageSP sanity checker</entry>
<entry>dynamic</entry>
<entry>-</entry>
</row>
<row>
<entry><option>-dverbose-core2core</option></entry>
<entry>Show output from each core-to-core pass</entry>
......
......@@ -106,9 +106,7 @@ documentation</ulink> describes all the libraries that come with GHC.
</term>
<listitem>
<para>This option enables the language extension defined in the
Haskell 98 Foreign Function Interface Addendum plus deprecated
syntax of previous versions of the FFI for backwards
compatibility.</para>
Haskell 98 Foreign Function Interface Addendum.</para>
<para>New reserved words: <literal>foreign</literal>.</para>
</listitem>
......@@ -116,7 +114,7 @@ documentation</ulink> describes all the libraries that come with GHC.
<varlistentry>
<term>
<option>-fno-monomorphism-restriction</option>,<option>-fno-monomorphism-restriction</option>:
<option>-fno-monomorphism-restriction</option>,<option>-fno-mono-pat-binds</option>:
</term>
<listitem>
<para> These two flags control how generalisation is done.
......
......@@ -793,8 +793,7 @@ ghc -c Foo.hs</screen>
<para>Provides the standard warnings plus
<option>-fwarn-incomplete-patterns</option>,
<option>-fwarn-unused-matches</option>,
<option>-fwarn-unused-imports</option>,
<option>-fwarn-misc</option>, and
<option>-fwarn-unused-imports</option>, and
<option>-fwarn-unused-binds</option>.</para>
</listitem>
</varlistentry>
......@@ -927,19 +926,6 @@ f foo = foo { x = 6 }
</listitem>
</varlistentry>
<varlistentry>
<term>
<option>-fwarn-misc</option>:
<indexterm><primary><option>-fwarn-misc</option></primary></indexterm>
</term>
<listitem>
<para>Turns on warnings for various harmless but untidy
things. This currently includes: importing a type with
<literal>(..)</literal> when the export is abstract, and
listing duplicate class assertions in a qualified type.</para>
</listitem>
</varlistentry>
<varlistentry>
<term>
<option>-fwarn-missing-fields</option>:
......@@ -1623,18 +1609,6 @@ f "2" = 2
<variablelist>
<varlistentry>
<term><option>-mv8</option>:</term>
<listitem>
<para>(SPARC machines)<indexterm><primary>-mv8 option (SPARC
only)</primary></indexterm> Means to pass the like-named
option to GCC; it says to use the Version 8 SPARC
instructions, notably integer multiply and divide. The
similar <option>-m*</option> GCC options for SPARC also
work, actually.</para>
</listitem>
</varlistentry>
<varlistentry>
<term><option>-monly-[32]-regs</option>:</term>
<listitem>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment