X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=4ebcc965a391bf6a88bab6a5b705aa48d41efcbb;hb=75dc1d81dcba9c392853ac8162b3bb35249b7e74;hp=0ff729b2b6f9b3532a2026514534de8ecd82f00b;hpb=d061166982c65f8e61b4faf942bc5737da2b272c;p=ghc-hetmet.git

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index 0ff729b..4ebcc96 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -286,19 +286,22 @@
 	  </thead>
 	  <tbody>
 	    <row>
-	      <entry><option>-keep-hc-file</option></entry>
+	      <entry><option>-keep-hc-file</option> or
+                 <option>-keep-hc-files</option></entry>
 	      <entry>retain intermediate <literal>.hc</literal> files</entry>
 	      <entry>dynamic</entry>
 	      <entry>-</entry>
 	    </row>
 	    <row>
-	      <entry><option>-keep-s-file</option></entry>
+	      <entry><option>-keep-s-file</option> or
+                 <option>-keep-s-files</option></entry>
 	      <entry>retain intermediate <literal>.s</literal> files</entry>
 	      <entry>dynamic</entry>
 	      <entry>-</entry>
 	    </row>
 	    <row>
-	      <entry><option>-keep-raw-s-file</option></entry>
+	      <entry><option>-keep-raw-s-file</option> or
+                 <option>-keep-raw-s-files</option></entry>
 	      <entry>retain intermediate <literal>.raw_s</literal> files</entry>
 	      <entry>dynamic</entry>
 	      <entry>-</entry>
@@ -482,18 +485,6 @@
 	      <entry>-</entry>
 	    </row>
 	    <row>
-	      <entry><option>-short-ghci-banner</option></entry>
-	      <entry>Display a one-line banner at GHCi startup</entry>
-	      <entry>static</entry>
-	      <entry>-</entry>
-	    </row>
-	    <row>
-	      <entry><option>-long-ghci-banner</option></entry>
-	      <entry>Display a full banner at GHCi startup</entry>
-	      <entry>static</entry>
-	      <entry>-</entry>
-	    </row>
-	    <row>
 	      <entry><option>-fdebugging</option></entry>
 	      <entry>Generate bytecode enabled for debugging</entry>
 	      <entry>dynamic</entry>
@@ -596,62 +587,69 @@
 	  </thead>
 	  <tbody>
 	    <row>
-	      <entry><option>-fallow-overlapping-instances</option></entry>
+	      <entry><option>-fglasgow-exts</option></entry>
+	      <entry>Enable most language extensions</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-fno-glasgow-exts</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=AllowOverlappingInstances</option></entry>
 	      <entry>Enable <link linkend="instance-overlap">overlapping instances</link></entry>
 	      <entry>dynamic</entry>
-	      <entry><option>-fno-allow-overlapping-instances</option></entry>
+	      <entry><option>-X=NoAllowOverlappingInstances</option></entry>
 	    </row>
 	    <row>
-	      <entry><option>-fallow-incoherent-instances</option></entry>
+	      <entry><option>-X=AllowIncoherentInstances</option></entry>
 	      <entry>Enable <link linkend="instance-overlap">incoherent instances</link>.  
-	      Implies <option>-fallow-overlapping-instances</option> </entry>
+	      Implies <option>-X=AllowOverlappingInstances</option> </entry>
 	      <entry>dynamic</entry>
-	      <entry><option>-fno-allow-incoherent-instances</option></entry>
+	      <entry><option>-X=NoAllowIncoherentInstances</option></entry>
 	    </row>
 	    <row>
-	      <entry><option>-fallow-undecidable-instances</option></entry>
+	      <entry><option>-X=AllowUndecidableInstances</option></entry>
 	      <entry>Enable <link linkend="undecidable-instances">undecidable instances</link></entry>
 	      <entry>dynamic</entry>
-	      <entry><option>-fno-allow-undecidable-instances</option></entry>
+	      <entry><option>-X=NoAllowUndecidableInstances</option></entry>
 	    </row>
 	    <row>
 	      <entry><option>-fcontext-stack=N</option><replaceable>n</replaceable></entry>
-	      <entry>set the <link linkend="undecidable-instances">limit for context reduction</link></entry>
+	      <entry>set the <link linkend="undecidable-instances">limit for context reduction</link>. Default is 20.</entry>
 	      <entry>dynamic</entry>
-	      <entry><option>20</option></entry>
+	      <entry></entry>
 	    </row>
 	    <row>
-	      <entry><option>-farrows</option></entry>
+	      <entry><option>-X=Arrows</option></entry>
 	      <entry>Enable <link linkend="arrow-notation">arrow
 	      notation</link> extension</entry>
 	      <entry>dynamic</entry>
-	      <entry><option>-fno-arrows</option></entry>
+	      <entry><option>-X=NoArrows</option></entry>
 	    </row>
 	    <row>
-	      <entry><option>-ffi</option> or <option>-fffi</option></entry>
-	      <entry>Enable <link linkend="ffi">foreign function interface</link> (implied by
-	      <option>-fglasgow-exts</option>)</entry>
+	      <entry><option>-fdisambiguate-record-fields</option></entry>
+	      <entry>Enable <link linkend="disambiguate-fields">record 
+	      field disambiguation</link></entry>
 	      <entry>dynamic</entry>
-	      <entry><option>-fno-ffi</option></entry>
+	      <entry><option>-fno-disambiguate-record-fields</option></entry>
 	    </row>
 	    <row>
-	      <entry><option>-fgenerics</option></entry>
-	      <entry>Enable <link linkend="generic-classes">generic classes</link></entry>
+	      <entry><option>-X=FFI</option> or <option>-X=ForeignFunctionInterface</option></entry>
+	      <entry>Enable <link linkend="ffi">foreign function interface</link> (implied by
+	      <option>-fglasgow-exts</option>)</entry>
 	      <entry>dynamic</entry>
-	      <entry><option>-fno-fgenerics</option></entry>
+	      <entry><option>-X=NoFFI</option></entry>
 	    </row>
 	    <row>
-	      <entry><option>-fglasgow-exts</option></entry>
-	      <entry>Enable most language extensions</entry>
+	      <entry><option>-X=Generics</option></entry>
+	      <entry>Enable <link linkend="generic-classes">generic classes</link></entry>
 	      <entry>dynamic</entry>
-	      <entry><option>-fno-glasgow-exts</option></entry>
+	      <entry><option>-X=NoGenerics</option></entry>
 	    </row>
 	    <row>
-	      <entry><option>-fimplicit-params</option></entry>
+	      <entry><option>-X=ImplicitParams</option></entry>
 	      <entry>Enable <link linkend="implicit-parameters">Implicit Parameters</link>.
 	      Implied by <option>-fglasgow-exts</option>.</entry>
 	      <entry>dynamic</entry>
-	      <entry><option>-fno-implicit-params</option></entry>
+	      <entry><option>-X=NoImplicitParams</option></entry>
 	    </row>
 	    <row>
 	      <entry><option>-firrefutable-tuples</option></entry>
@@ -660,61 +658,254 @@
 	      <entry><option>-fno-irrefutable-tuples</option></entry>
 	    </row>
 	    <row>
-	      <entry><option>-fno-implicit-prelude</option></entry>
+	      <entry><option>-X=NoImplicitPrelude</option></entry>
 	      <entry>Don't implicitly <literal>import Prelude</literal></entry>
 	      <entry>dynamic</entry>
-	      <entry><option>-fimplicit-prelude</option></entry>
+	      <entry><option>-X=ImplicitPrelude</option></entry>
 	    </row>
 	    <row>
-	      <entry><option>-fno-monomorphism-restriction</option></entry>
+	      <entry><option>-X=NoMonomorphismRestriction</option></entry>
 	      <entry>Disable the <link linkend="monomorphism">monomorphism restriction</link></entry>
 	      <entry>dynamic</entry>
-	      <entry><option>-fmonomorphism-restriction</option></entry>
+	      <entry><option>-X=MonomorphismRrestriction</option></entry>
 	    </row>
 	    <row>
-	      <entry><option>-fno-mono-pat-binds</option></entry>
+	      <entry><option>-X=NoMonoPatBinds</option></entry>
 	      <entry>Make <link linkend="monomorphism">pattern bindings polymorphic</link></entry>
 	      <entry>dynamic</entry>
-	      <entry><option>-fmono-pat-binds</option></entry>
+	      <entry><option>-X=MonoPatBinds</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=RelaxedPolyRed</option></entry>
+	      <entry>Relaxed checking for <link linkend="typing-binds">mutually-recursive polymorphic functions</link></entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=NoRelaxedPolyRec</option></entry>
 	    </row>
 	    <row>
-	      <entry><option>-fextended-default-rules</option></entry>
+	      <entry><option>-X=ExtendedDefaultRules</option></entry>
 	      <entry>Use GHCi's <link linkend="extended-default-rules">extended default rules</link> in a normal module</entry>
 	      <entry>dynamic</entry>
-	      <entry><option>-fno-extended-default-rules</option></entry>
+	      <entry><option>-X=NoExtendedDefaultRules</option></entry>
 	    </row>
 	    <row>
-	      <entry><option>-foverloaded-strings</option></entry>
+	      <entry><option>-X=OverloadedStrings</option></entry>
 	      <entry>Enable <link linkend="overloaded-strings">overloaded string literals</link>.
 	      </entry>
 	      <entry>dynamic</entry>
-	      <entry><option>-fno-overloaded-strings</option></entry>
+	      <entry><option>-X=NoOverloadedStrings</option></entry>
 	    </row>
 	    <row>
-	      <entry><option>-fscoped-type-variables</option></entry>
+	      <entry><option>-X=GADTs</option></entry>
+	      <entry>Enable <link linkend="gadts">generalised algebraic data types</link>.
+	      </entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=NoGADTs</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=TypeFamilies</option></entry>
+	      <entry>Enable <link linkend="type-families">type families</link>.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=NoTypeFamilies</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=ScopedTypeVariables</option></entry>
 	      <entry>Enable <link linkend="scoped-type-variables">lexically-scoped type variables</link>.
 	      Implied by <option>-fglasgow-exts</option>.</entry>
 	      <entry>dynamic</entry>
-	      <entry><option>-fno-scoped-type-variables</option></entry>
+	      <entry><option>-X=NoScopedTypeVariables</option></entry>
 	    </row>
 	    <row>
-	      <entry><option>-fth</option></entry>
+	      <entry><option>-X=TH</option> or <option>-X=TemplateHaskell</option></entry>
 	      <entry>Enable <link linkend="template-haskell">Template Haskell</link>. 
 		No longer implied by <option>-fglasgow-exts</option>.</entry>
 	      <entry>dynamic</entry>
-	      <entry><option>-fno-th</option></entry>
+	      <entry><option>-X=NoTH</option></entry>
 	    </row>
 	    <row>
-	      <entry><option>-ftype-families</option></entry>
-	      <entry>Enable <link linkend="type-families">type families</link>.</entry>
+	      <entry><option>-X=BangPtterns</option></entry>
+	      <entry>Enable <link linkend="bang-patterns">bang patterns</link>.</entry>
 	      <entry>dynamic</entry>
-	      <entry><option>-fno-type-families</option></entry>
+	      <entry><option>-X=NoBangPatterns</option></entry>
 	    </row>
 	    <row>
-	      <entry><option>-fbang-patterns</option></entry>
-	      <entry>Enable <link linkend="bang-patterns">bang patterns</link>.</entry>
+	      <entry><option>-X=CPP</option></entry>
+	      <entry>Enable the <link linkend="c-pre-processor">C preprocessor</link>.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=CPP</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=PatternGuards</option></entry>
+	      <entry>Enable <link linkend="pattern-guards">pattern guards</link>.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=PatternGuards</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=UnicodeSyntax</option></entry>
+	      <entry>Enable unicode syntax.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=UnicodeSyntax</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=MagicHash</option></entry>
+	      <entry>Enable the &ldquo;magic hash&rdquo;.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=MagicHash</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=PolymorphicComponents</option></entry>
+	      <entry>Enable polymorphic components.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=PolymorphicComponents</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=ExistentialQuantification</option></entry>
+	      <entry>Enable <link linkend="existential-quantification">existential quantification</link>.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=ExistentialQuantification</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=KindSignatures</option></entry>
+	      <entry>Enable kind signatures.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=KindSignatures</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=PatternSignatures</option></entry>
+	      <entry>Enable <link linkend="pattern-type-sigs">pattern type signatures</link>.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=PatternSignatures</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=EmptyDataDecls</option></entry>
+	      <entry>Enable empty data declarations.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=EmptyDataDecls</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=ParallelListComp</option></entry>
+	      <entry>Enable <link linkend="parallel-list-comprehensions">parallel list comprehensions</link>.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=ParallelListComp</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=UnliftedFFITypes</option></entry>
+	      <entry>Enable unlifted FFI types.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=UnliftedFFITypes</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=PartiallyAppliedClosedTypeSynonyms</option></entry>
+	      <entry>Enable partially applied type synonyms.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=PartiallyAppliedClosedTypeSynonyms</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=Rank2Types</option></entry>
+	      <entry>Enable rank-2 types.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=Rank2Types</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=RankNTypes</option></entry>
+	      <entry>Enable rank-N types.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=RankNTypes</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=TypeOperators</option></entry>
+	      <entry>Enable type operators.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=TypeOperators</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=RecursiveDo</option></entry>
+	      <entry>Enable <link linkend="mdo-notation">recursive do (mdo) notation</link>.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=RecursiveDo</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=Parr</option></entry>
+	      <entry>Enable parallel arrays.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=Parr</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=RecordWildCards</option></entry>
+	      <entry>Enable record wildcards.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=RecordWildCards</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=RecordPuns</option></entry>
+	      <entry>Enable record puns.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=RecordPuns</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=DisambiguateRecordFields</option></entry>
+	      <entry>Enable the <link linkend="disambiguate-fields">disambiguate fields.</link> exception</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=DisambiguateRecordFields</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=UnboxedTuples</option></entry>
+	      <entry>Enable <link linkend="unboxed-tuples">unboxed tuples</link>.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=UnboxedTuples</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=StandaloneDeriving</option></entry>
+	      <entry>Enable standalone deriving.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=StandaloneDeriving</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=DeriveDataTypeable</option></entry>
+	      <entry>Enable deriving for the Data and Typeable classes.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=DeriveDataTypeable</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=TypeSynonymInstances</option></entry>
+	      <entry>Enable <link linkend="type-synonyms">type synonyms</link>.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=TypeSynonymInstances</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=FlexibleContexts</option></entry>
+	      <entry>Enable flexible contexts.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=FlexibleContexts</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=FlexibleInstances</option></entry>
+	      <entry>Enable flexible instances.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=FlexibleInstances</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=ConstrainedClassMethods</option></entry>
+	      <entry>Enable constrained class methods.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=ConstrainedClassMethods</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=MultiParamTypeClasses</option></entry>
+	      <entry>Enable <link linkend="multi-param-type-classes">multi parameter type classes</link>.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=MultiParamTypeClasses</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=FunctionalDependencies</option></entry>
+	      <entry>Enable <link linkend="functional-dependencies">functional dependencies</link>.</entry>
 	      <entry>dynamic</entry>
-	      <entry><option>-fno-bang-patterns</option></entry>
+	      <entry><option>-X=FunctionalDependencies</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-X=GeneralizedNewtypeDeriving</option></entry>
+	      <entry>Enable <link linkend="newtype-deriving">newtype deriving</link>.</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-X=GeneralizedNewtypeDeriving</option></entry>
 	    </row>
 	  </tbody>
 	</tgroup>
@@ -1189,6 +1380,39 @@
     </sect2>
 
     <sect2>
+      <title>Program coverage options</title>
+      
+      <para><xref linkend="hpc"/></para>
+
+      <informaltable>
+	<tgroup cols="4" align="left" colsep="1" rowsep="1">
+	  <thead>
+	    <row>
+	      <entry>Flag</entry>
+	      <entry>Description</entry>
+	      <entry>Static/Dynamic</entry>
+	      <entry>Reverse</entry>
+	    </row>
+	  </thead>
+	  <tbody>
+	    <row>
+	      <entry><option>-fhpc</option></entry>
+	      <entry>Turn on Haskell program coverage instrumentation</entry>
+	      <entry>static</entry>
+	      <entry><option>-</option></entry>
+	    </row>
+	    <row>
+	      <entry><option>-hpcdir dir</option></entry>
+	      <entry>Directory to deposit .mix files during compilation</entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-</option></entry>
+	    </row>
+	  </tbody>
+	</tgroup>
+      </informaltable>
+    </sect2>
+
+    <sect2>
       <title>Haskell pre-processor options</title>
 
       <para><xref linkend="pre-processor"/></para>
@@ -1746,6 +1970,12 @@
 	      <entry>-</entry>
 	    </row>
 	    <row>
+	      <entry><option>-ddump-hpc</option></entry>
+	      <entry>Dump after intrumentation for program coverage</entry>
+	      <entry>dynamic</entry>
+	      <entry>-</entry>
+	    </row>
+	    <row>
 	      <entry><option>-ddump-inlinings</option></entry>
 	      <entry>Dump inlining info</entry>
 	      <entry>dynamic</entry>