Canonicalise the flag format in the user guide

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index 4ebcc96..eaa6225 100644 (file)
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -593,23 +593,23 @@
              <entry><option>-fno-glasgow-exts</option></entry>
            </row>
            <row>
              <entry><option>-fno-glasgow-exts</option></entry>
            </row>
            <row>

-             <entry><option>-X=AllowOverlappingInstances</option></entry>
+             <entry><option>-XOverlappingInstances</option></entry>

              <entry>Enable <link linkend="instance-overlap">overlapping instances</link></entry>
              <entry>dynamic</entry>
              <entry>Enable <link linkend="instance-overlap">overlapping instances</link></entry>
              <entry>dynamic</entry>

-             <entry><option>-X=NoAllowOverlappingInstances</option></entry>
+             <entry><option>-XNoOverlappingInstances</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=AllowIncoherentInstances</option></entry>
+             <entry><option>-XIncoherentInstances</option></entry>

              <entry>Enable <link linkend="instance-overlap">incoherent instances</link>.  
              <entry>Enable <link linkend="instance-overlap">incoherent instances</link>.  

-             Implies <option>-X=AllowOverlappingInstances</option> </entry>
+             Implies <option>-XOverlappingInstances</option> </entry>

              <entry>dynamic</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=NoAllowIncoherentInstances</option></entry>
+             <entry><option>-XNoIncoherentInstances</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=AllowUndecidableInstances</option></entry>
+             <entry><option>-XUndecidableInstances</option></entry>

              <entry>Enable <link linkend="undecidable-instances">undecidable instances</link></entry>
              <entry>dynamic</entry>
              <entry>Enable <link linkend="undecidable-instances">undecidable instances</link></entry>
              <entry>dynamic</entry>

-             <entry><option>-X=NoAllowUndecidableInstances</option></entry>
+             <entry><option>-XNoUndecidableInstances</option></entry>

            </row>
            <row>
              <entry><option>-fcontext-stack=N</option><replaceable>n</replaceable></entry>
            </row>
            <row>
              <entry><option>-fcontext-stack=N</option><replaceable>n</replaceable></entry>

@@ -618,11 +618,11 @@
              <entry></entry>
            </row>
            <row>
              <entry></entry>
            </row>
            <row>

-             <entry><option>-X=Arrows</option></entry>
+             <entry><option>-XArrows</option></entry>

              <entry>Enable <link linkend="arrow-notation">arrow
              notation</link> extension</entry>
              <entry>dynamic</entry>
              <entry>Enable <link linkend="arrow-notation">arrow
              notation</link> extension</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=NoArrows</option></entry>
+             <entry><option>-XNoArrows</option></entry>

            </row>
            <row>
              <entry><option>-fdisambiguate-record-fields</option></entry>
            </row>
            <row>
              <entry><option>-fdisambiguate-record-fields</option></entry>

@@ -632,24 +632,24 @@
              <entry><option>-fno-disambiguate-record-fields</option></entry>
            </row>
            <row>
              <entry><option>-fno-disambiguate-record-fields</option></entry>
            </row>
            <row>

-             <entry><option>-X=FFI</option> or <option>-X=ForeignFunctionInterface</option></entry>
+             <entry><option>-XForeignFunctionInterface</option></entry>

              <entry>Enable <link linkend="ffi">foreign function interface</link> (implied by
              <option>-fglasgow-exts</option>)</entry>
              <entry>dynamic</entry>
              <entry>Enable <link linkend="ffi">foreign function interface</link> (implied by
              <option>-fglasgow-exts</option>)</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=NoFFI</option></entry>
+             <entry><option>-XNoForeignFunctionInterface</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=Generics</option></entry>
+             <entry><option>-XGenerics</option></entry>

              <entry>Enable <link linkend="generic-classes">generic classes</link></entry>
              <entry>dynamic</entry>
              <entry>Enable <link linkend="generic-classes">generic classes</link></entry>
              <entry>dynamic</entry>

-             <entry><option>-X=NoGenerics</option></entry>
+             <entry><option>-XNoGenerics</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=ImplicitParams</option></entry>
+             <entry><option>-XImplicitParams</option></entry>

              <entry>Enable <link linkend="implicit-parameters">Implicit Parameters</link>.
              Implied by <option>-fglasgow-exts</option>.</entry>
              <entry>dynamic</entry>
              <entry>Enable <link linkend="implicit-parameters">Implicit Parameters</link>.
              Implied by <option>-fglasgow-exts</option>.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=NoImplicitParams</option></entry>
+             <entry><option>-XNoImplicitParams</option></entry>

            </row>
            <row>
              <entry><option>-firrefutable-tuples</option></entry>
            </row>
            <row>
              <entry><option>-firrefutable-tuples</option></entry>

@@ -658,254 +658,254 @@
              <entry><option>-fno-irrefutable-tuples</option></entry>
            </row>
            <row>
              <entry><option>-fno-irrefutable-tuples</option></entry>
            </row>
            <row>

-             <entry><option>-X=NoImplicitPrelude</option></entry>
+             <entry><option>-XNoImplicitPrelude</option></entry>

              <entry>Don't implicitly <literal>import Prelude</literal></entry>
              <entry>dynamic</entry>
              <entry>Don't implicitly <literal>import Prelude</literal></entry>
              <entry>dynamic</entry>

-             <entry><option>-X=ImplicitPrelude</option></entry>
+             <entry><option>-XImplicitPrelude</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=NoMonomorphismRestriction</option></entry>
+             <entry><option>-XNoMonomorphismRestriction</option></entry>

              <entry>Disable the <link linkend="monomorphism">monomorphism restriction</link></entry>
              <entry>dynamic</entry>
              <entry>Disable the <link linkend="monomorphism">monomorphism restriction</link></entry>
              <entry>dynamic</entry>

-             <entry><option>-X=MonomorphismRrestriction</option></entry>
+             <entry><option>-XMonomorphismRrestriction</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=NoMonoPatBinds</option></entry>
+             <entry><option>-XNoMonoPatBinds</option></entry>

              <entry>Make <link linkend="monomorphism">pattern bindings polymorphic</link></entry>
              <entry>dynamic</entry>
              <entry>Make <link linkend="monomorphism">pattern bindings polymorphic</link></entry>
              <entry>dynamic</entry>

-             <entry><option>-X=MonoPatBinds</option></entry>
+             <entry><option>-XMonoPatBinds</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=RelaxedPolyRed</option></entry>
+             <entry><option>-XRelaxedPolyRed</option></entry>

              <entry>Relaxed checking for <link linkend="typing-binds">mutually-recursive polymorphic functions</link></entry>
              <entry>dynamic</entry>
              <entry>Relaxed checking for <link linkend="typing-binds">mutually-recursive polymorphic functions</link></entry>
              <entry>dynamic</entry>

-             <entry><option>-X=NoRelaxedPolyRec</option></entry>
+             <entry><option>-XNoRelaxedPolyRec</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=ExtendedDefaultRules</option></entry>
+             <entry><option>-XExtendedDefaultRules</option></entry>

              <entry>Use GHCi's <link linkend="extended-default-rules">extended default rules</link> in a normal module</entry>
              <entry>dynamic</entry>
              <entry>Use GHCi's <link linkend="extended-default-rules">extended default rules</link> in a normal module</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=NoExtendedDefaultRules</option></entry>
+             <entry><option>-XNoExtendedDefaultRules</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=OverloadedStrings</option></entry>
+             <entry><option>-XOverloadedStrings</option></entry>

              <entry>Enable <link linkend="overloaded-strings">overloaded string literals</link>.
              </entry>
              <entry>dynamic</entry>
              <entry>Enable <link linkend="overloaded-strings">overloaded string literals</link>.
              </entry>
              <entry>dynamic</entry>

-             <entry><option>-X=NoOverloadedStrings</option></entry>
+             <entry><option>-XNoOverloadedStrings</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=GADTs</option></entry>
+             <entry><option>-XGADTs</option></entry>

              <entry>Enable <link linkend="gadts">generalised algebraic data types</link>.
              </entry>
              <entry>dynamic</entry>
              <entry>Enable <link linkend="gadts">generalised algebraic data types</link>.
              </entry>
              <entry>dynamic</entry>

-             <entry><option>-X=NoGADTs</option></entry>
+             <entry><option>-XNoGADTs</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=TypeFamilies</option></entry>
+             <entry><option>-XTypeFamilies</option></entry>

              <entry>Enable <link linkend="type-families">type families</link>.</entry>
              <entry>dynamic</entry>
              <entry>Enable <link linkend="type-families">type families</link>.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=NoTypeFamilies</option></entry>
+             <entry><option>-XNoTypeFamilies</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=ScopedTypeVariables</option></entry>
+             <entry><option>-XScopedTypeVariables</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>Enable <link linkend="scoped-type-variables">lexically-scoped type variables</link>.
              Implied by <option>-fglasgow-exts</option>.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=NoScopedTypeVariables</option></entry>
+             <entry><option>-XNoScopedTypeVariables</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=TH</option> or <option>-X=TemplateHaskell</option></entry>
+             <entry><option>-XTemplateHaskell</option></entry>

              <entry>Enable <link linkend="template-haskell">Template Haskell</link>. 
                No longer implied by <option>-fglasgow-exts</option>.</entry>
              <entry>dynamic</entry>
              <entry>Enable <link linkend="template-haskell">Template Haskell</link>. 
                No longer implied by <option>-fglasgow-exts</option>.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=NoTH</option></entry>
+             <entry><option>-XNoTemplateHaskell</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=BangPtterns</option></entry>
+             <entry><option>-XBangPtterns</option></entry>

              <entry>Enable <link linkend="bang-patterns">bang patterns</link>.</entry>
              <entry>dynamic</entry>
              <entry>Enable <link linkend="bang-patterns">bang patterns</link>.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=NoBangPatterns</option></entry>
+             <entry><option>-XNoBangPatterns</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=CPP</option></entry>
+             <entry><option>-XCPP</option></entry>

              <entry>Enable the <link linkend="c-pre-processor">C preprocessor</link>.</entry>
              <entry>dynamic</entry>
              <entry>Enable the <link linkend="c-pre-processor">C preprocessor</link>.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=CPP</option></entry>
+             <entry><option>-XNoCPP</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=PatternGuards</option></entry>
+             <entry><option>-XPatternGuards</option></entry>

              <entry>Enable <link linkend="pattern-guards">pattern guards</link>.</entry>
              <entry>dynamic</entry>
              <entry>Enable <link linkend="pattern-guards">pattern guards</link>.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=PatternGuards</option></entry>
+             <entry><option>-XNoPatternGuards</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=UnicodeSyntax</option></entry>
+             <entry><option>-XUnicodeSyntax</option></entry>

              <entry>Enable unicode syntax.</entry>
              <entry>dynamic</entry>
              <entry>Enable unicode syntax.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=UnicodeSyntax</option></entry>
+             <entry><option>-XNoUnicodeSyntax</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=MagicHash</option></entry>
+             <entry><option>-XMagicHash</option></entry>

              <entry>Enable the &ldquo;magic hash&rdquo;.</entry>
              <entry>dynamic</entry>
              <entry>Enable the &ldquo;magic hash&rdquo;.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=MagicHash</option></entry>
+             <entry><option>-XNoMagicHash</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=PolymorphicComponents</option></entry>
+             <entry><option>-XPolymorphicComponents</option></entry>

              <entry>Enable polymorphic components.</entry>
              <entry>dynamic</entry>
              <entry>Enable polymorphic components.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=PolymorphicComponents</option></entry>
+             <entry><option>-XNoPolymorphicComponents</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=ExistentialQuantification</option></entry>
+             <entry><option>-XExistentialQuantification</option></entry>

              <entry>Enable <link linkend="existential-quantification">existential quantification</link>.</entry>
              <entry>dynamic</entry>
              <entry>Enable <link linkend="existential-quantification">existential quantification</link>.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=ExistentialQuantification</option></entry>
+             <entry><option>-XNoExistentialQuantification</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=KindSignatures</option></entry>
+             <entry><option>-XKindSignatures</option></entry>

              <entry>Enable kind signatures.</entry>
              <entry>dynamic</entry>
              <entry>Enable kind signatures.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=KindSignatures</option></entry>
+             <entry><option>-XNoKindSignatures</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=PatternSignatures</option></entry>
+             <entry><option>-XPatternSignatures</option></entry>

              <entry>Enable <link linkend="pattern-type-sigs">pattern type signatures</link>.</entry>
              <entry>dynamic</entry>
              <entry>Enable <link linkend="pattern-type-sigs">pattern type signatures</link>.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=PatternSignatures</option></entry>
+             <entry><option>-XNoPatternSignatures</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=EmptyDataDecls</option></entry>
+             <entry><option>-XEmptyDataDecls</option></entry>

              <entry>Enable empty data declarations.</entry>
              <entry>dynamic</entry>
              <entry>Enable empty data declarations.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=EmptyDataDecls</option></entry>
+             <entry><option>-XNoEmptyDataDecls</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=ParallelListComp</option></entry>
+             <entry><option>-XParallelListComp</option></entry>

              <entry>Enable <link linkend="parallel-list-comprehensions">parallel list comprehensions</link>.</entry>
              <entry>dynamic</entry>
              <entry>Enable <link linkend="parallel-list-comprehensions">parallel list comprehensions</link>.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=ParallelListComp</option></entry>
+             <entry><option>-XNoParallelListComp</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=UnliftedFFITypes</option></entry>
+             <entry><option>-XUnliftedFFITypes</option></entry>

              <entry>Enable unlifted FFI types.</entry>
              <entry>dynamic</entry>
              <entry>Enable unlifted FFI types.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=UnliftedFFITypes</option></entry>
+             <entry><option>-XNoUnliftedFFITypes</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=PartiallyAppliedClosedTypeSynonyms</option></entry>
+             <entry><option>-XPartiallyAppliedClosedTypeSynonyms</option></entry>

              <entry>Enable partially applied type synonyms.</entry>
              <entry>dynamic</entry>
              <entry>Enable partially applied type synonyms.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=PartiallyAppliedClosedTypeSynonyms</option></entry>
+             <entry><option>-XNoPartiallyAppliedClosedTypeSynonyms</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=Rank2Types</option></entry>
+             <entry><option>-XNoRank2Types</option></entry>

              <entry>Enable rank-2 types.</entry>
              <entry>dynamic</entry>
              <entry>Enable rank-2 types.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=Rank2Types</option></entry>
+             <entry><option>-XNoRank2Types</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=RankNTypes</option></entry>
+             <entry><option>-XRankNTypes</option></entry>

              <entry>Enable rank-N types.</entry>
              <entry>dynamic</entry>
              <entry>Enable rank-N types.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=RankNTypes</option></entry>
+             <entry><option>-XNoRankNTypes</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=TypeOperators</option></entry>
+             <entry><option>-XTypeOperators</option></entry>

              <entry>Enable type operators.</entry>
              <entry>dynamic</entry>
              <entry>Enable type operators.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=TypeOperators</option></entry>
+             <entry><option>-XNoTypeOperators</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=RecursiveDo</option></entry>
+             <entry><option>-XRecursiveDo</option></entry>

              <entry>Enable <link linkend="mdo-notation">recursive do (mdo) notation</link>.</entry>
              <entry>dynamic</entry>
              <entry>Enable <link linkend="mdo-notation">recursive do (mdo) notation</link>.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=RecursiveDo</option></entry>
+             <entry><option>-XNoRecursiveDo</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=Parr</option></entry>
+             <entry><option>-XPArr</option></entry>

              <entry>Enable parallel arrays.</entry>
              <entry>dynamic</entry>
              <entry>Enable parallel arrays.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=Parr</option></entry>
+             <entry><option>-XNoPArr</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=RecordWildCards</option></entry>
+             <entry><option>-XRecordWildCards</option></entry>

              <entry>Enable record wildcards.</entry>
              <entry>dynamic</entry>
              <entry>Enable record wildcards.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=RecordWildCards</option></entry>
+             <entry><option>-XNoRecordWildCards</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=RecordPuns</option></entry>
+             <entry><option>-XRecordPuns</option></entry>

              <entry>Enable record puns.</entry>
              <entry>dynamic</entry>
              <entry>Enable record puns.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=RecordPuns</option></entry>
+             <entry><option>-XNoRecordPuns</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=DisambiguateRecordFields</option></entry>
+             <entry><option>-XDisambiguateRecordFields</option></entry>

              <entry>Enable the <link linkend="disambiguate-fields">disambiguate fields.</link> exception</entry>
              <entry>dynamic</entry>
              <entry>Enable the <link linkend="disambiguate-fields">disambiguate fields.</link> exception</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=DisambiguateRecordFields</option></entry>
+             <entry><option>-XNoDisambiguateRecordFields</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=UnboxedTuples</option></entry>
+             <entry><option>-XUnboxedTuples</option></entry>

              <entry>Enable <link linkend="unboxed-tuples">unboxed tuples</link>.</entry>
              <entry>dynamic</entry>
              <entry>Enable <link linkend="unboxed-tuples">unboxed tuples</link>.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=UnboxedTuples</option></entry>
+             <entry><option>-XNoUnboxedTuples</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=StandaloneDeriving</option></entry>
+             <entry><option>-XStandaloneDeriving</option></entry>

              <entry>Enable standalone deriving.</entry>
              <entry>dynamic</entry>
              <entry>Enable standalone deriving.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=StandaloneDeriving</option></entry>
+             <entry><option>-XNoStandaloneDeriving</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=DeriveDataTypeable</option></entry>
+             <entry><option>-XDeriveDataTypeable</option></entry>

              <entry>Enable deriving for the Data and Typeable classes.</entry>
              <entry>dynamic</entry>
              <entry>Enable deriving for the Data and Typeable classes.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=DeriveDataTypeable</option></entry>
+             <entry><option>-XNoDeriveDataTypeable</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=TypeSynonymInstances</option></entry>
+             <entry><option>-XTypeSynonymInstances</option></entry>

              <entry>Enable <link linkend="type-synonyms">type synonyms</link>.</entry>
              <entry>dynamic</entry>
              <entry>Enable <link linkend="type-synonyms">type synonyms</link>.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=TypeSynonymInstances</option></entry>
+             <entry><option>-XNoTypeSynonymInstances</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=FlexibleContexts</option></entry>
+             <entry><option>-XFlexibleContexts</option></entry>

              <entry>Enable flexible contexts.</entry>
              <entry>dynamic</entry>
              <entry>Enable flexible contexts.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=FlexibleContexts</option></entry>
+             <entry><option>-XNoFlexibleContexts</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=FlexibleInstances</option></entry>
+             <entry><option>-XFlexibleInstances</option></entry>

              <entry>Enable flexible instances.</entry>
              <entry>dynamic</entry>
              <entry>Enable flexible instances.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=FlexibleInstances</option></entry>
+             <entry><option>-XNoFlexibleInstances</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=ConstrainedClassMethods</option></entry>
+             <entry><option>-XConstrainedClassMethods</option></entry>

              <entry>Enable constrained class methods.</entry>
              <entry>dynamic</entry>
              <entry>Enable constrained class methods.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=ConstrainedClassMethods</option></entry>
+             <entry><option>-XNoConstrainedClassMethods</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=MultiParamTypeClasses</option></entry>
+             <entry><option>-XMultiParamTypeClasses</option></entry>

              <entry>Enable <link linkend="multi-param-type-classes">multi parameter type classes</link>.</entry>
              <entry>dynamic</entry>
              <entry>Enable <link linkend="multi-param-type-classes">multi parameter type classes</link>.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=MultiParamTypeClasses</option></entry>
+             <entry><option>-XNoMultiParamTypeClasses</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=FunctionalDependencies</option></entry>
+             <entry><option>-XFunctionalDependencies</option></entry>

              <entry>Enable <link linkend="functional-dependencies">functional dependencies</link>.</entry>
              <entry>dynamic</entry>
              <entry>Enable <link linkend="functional-dependencies">functional dependencies</link>.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=FunctionalDependencies</option></entry>
+             <entry><option>-XNoFunctionalDependencies</option></entry>

            </row>
            <row>
            </row>
            <row>

-             <entry><option>-X=GeneralizedNewtypeDeriving</option></entry>
+             <entry><option>-XGeneralizedNewtypeDeriving</option></entry>

              <entry>Enable <link linkend="newtype-deriving">newtype deriving</link>.</entry>
              <entry>dynamic</entry>
              <entry>Enable <link linkend="newtype-deriving">newtype deriving</link>.</entry>
              <entry>dynamic</entry>

-             <entry><option>-X=GeneralizedNewtypeDeriving</option></entry>
+             <entry><option>-XNoGeneralizedNewtypeDeriving</option></entry>

            </row>
          </tbody>
        </tgroup>
            </row>
          </tbody>
        </tgroup>

diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml
index 27d38ee..053c4a9 100644 (file)
--- a/docs/users_guide/glasgow_exts.xml
+++ b/docs/users_guide/glasgow_exts.xml
@@ -42,23 +42,16 @@ documentation</ulink> describes all the libraries that come with GHC.
     permitted.  Leaving out all of them gives you standard Haskell
     98.</para>
 
     permitted.  Leaving out all of them gives you standard Haskell
     98.</para>
 

-    <para>Generally speaking, all the language options are introduced by "<option>-X</option>" or "<option>-X=</option>"; 
-    e.g. <option>-X=TemplateHaskell</option>.  Before anything else is done, the string following
-     "<option>-X</option>" is normalised by removing hyphens and converting
-    to lower case.  So <option>-X=TemplateHaskell</option>, <option>-XTemplateHaskell</option>, and
-         <option>-Xtemplate-haskell</option> are all equivalent.
+    <para>Generally speaking, all the language options are introduced by "<option>-X</option>", 
+    e.g. <option>-XTemplateHaskell</option>.

     </para>
 
    <para> All the language options can be turned off by using the prefix "<option>No</option>"; 
     </para>
 
    <para> All the language options can be turned off by using the prefix "<option>No</option>"; 

-      e.g. "<option>-X=NoTemplateHaskell</option>".</para>
+      e.g. "<option>-XNoTemplateHaskell</option>".</para>

 
    <para> Language options recognised by Cabal can also be enabled using the <literal>LANGUAGE</literal> pragma,
    thus <literal>{-# LANGUAGE TemplateHaskell #-}</literal> (see <xref linkend="language-pragma"/>>). </para>
 
 
    <para> Language options recognised by Cabal can also be enabled using the <literal>LANGUAGE</literal> pragma,
    thus <literal>{-# LANGUAGE TemplateHaskell #-}</literal> (see <xref linkend="language-pragma"/>>). </para>
 

-   <para> All the language options can be introduced with "<option>-f</option>" as well as "<option>-X</option>",
-      but this is a deprecated feature for backward compatibility.  Use the "<option>-X</option>" 
-      or LANGUAGE-pragma form.</para>
-

     <para>Turning on an option that enables special syntax
     <emphasis>might</emphasis> cause working Haskell 98 code to fail
     to compile, perhaps because it uses a variable name which has
     <para>Turning on an option that enables special syntax
     <emphasis>might</emphasis> cause working Haskell 98 code to fail
     to compile, perhaps because it uses a variable name which has

@@ -115,18 +108,18 @@ documentation</ulink> describes all the libraries that come with GHC.
              <literal>|)</literal>, <literal>{|</literal>.</para>
 
          <para>Implies these specific language options: 
              <literal>|)</literal>, <literal>{|</literal>.</para>
 
          <para>Implies these specific language options: 

-           <option>-X=ForeignFunctionInterface</option>,
-           <option>-X=ImplicitParams</option>,
-           <option>-X=ScopedTypeVariables</option>,
-           <option>-X=GADTs</option>, 
-           <option>-X=TypeFamilies</option>. </para>
+           <option>-XForeignFunctionInterface</option>,
+           <option>-XImplicitParams</option>,
+           <option>-XScopedTypeVariables</option>,
+           <option>-XGADTs</option>, 
+           <option>-XTypeFamilies</option>. </para>

        </listitem>
       </varlistentry>
 
       <varlistentry>
        <term>
        </listitem>
       </varlistentry>
 
       <varlistentry>
        <term>

-          <option>-X=ffi</option> and <option>-X=ForeignFunctionInterface</option>:
-          <indexterm><primary><option>-X=FFI</option></primary></indexterm>
+          <option>-XForeignFunctionInterface</option>:
+          <indexterm><primary><option>-XForeignFunctionInterface</option></primary></indexterm>

         </term>
        <listitem>
          <para>This option enables the language extension defined in the
         </term>
        <listitem>
          <para>This option enables the language extension defined in the

@@ -138,7 +131,7 @@ documentation</ulink> describes all the libraries that come with GHC.
 
       <varlistentry>
        <term>
 
       <varlistentry>
        <term>

-          <option>-X=MonomorphismRestriction</option>,<option>-X=MonoPatBinds</option>:
+          <option>-XMonomorphismRestriction</option>,<option>-XMonoPatBinds</option>:

         </term>
        <listitem>
          <para> These two flags control how generalisation is done.
         </term>
        <listitem>
          <para> These two flags control how generalisation is done.

@@ -149,8 +142,8 @@ documentation</ulink> describes all the libraries that come with GHC.
 
       <varlistentry>
        <term>
 
       <varlistentry>
        <term>

-          <option>-X=ExtendedDefaultRules</option>:
-          <indexterm><primary><option>-X=ExtendedDefaultRules</option></primary></indexterm>
+          <option>-XExtendedDefaultRules</option>:
+          <indexterm><primary><option>-XExtendedDefaultRules</option></primary></indexterm>

         </term>
        <listitem>
          <para> Use GHCi's extended default rules in a regular module (<xref linkend="extended-default-rules"/>).
         </term>
        <listitem>
          <para> Use GHCi's extended default rules in a regular module (<xref linkend="extended-default-rules"/>).

@@ -161,16 +154,16 @@ documentation</ulink> describes all the libraries that come with GHC.
 
       <varlistentry>
        <term>
 
       <varlistentry>
        <term>

-          <option>-X=AllowOverlappingInstances</option>
-          <indexterm><primary><option>-X=AllowOverlappingInstances</option></primary></indexterm>
+          <option>-XOverlappingInstances</option>
+          <indexterm><primary><option>-XOverlappingInstances</option></primary></indexterm>

         </term>
        <term>
         </term>
        <term>

-          <option>-X=AllowUndecidableInstances</option>
-          <indexterm><primary><option>-X=AllowUndecidableInstances</option></primary></indexterm>
+          <option>-XUndecidableInstances</option>
+          <indexterm><primary><option>-XUndecidableInstances</option></primary></indexterm>

         </term>
        <term>
         </term>
        <term>

-          <option>-X=AllowIncoherentInstances</option>
-          <indexterm><primary><option>-X=AllowIncoherentInstances</option></primary></indexterm>
+          <option>-XIncoherentInstances</option>
+          <indexterm><primary><option>-XIncoherentInstances</option></primary></indexterm>

         </term>
        <term>
           <option>-fcontext-stack=N</option>
         </term>
        <term>
           <option>-fcontext-stack=N</option>

@@ -195,8 +188,8 @@ documentation</ulink> describes all the libraries that come with GHC.
 
       <varlistentry>
        <term>
 
       <varlistentry>
        <term>

-          <option>-X=Arrows</option>
-          <indexterm><primary><option>-X=Arrows</option></primary></indexterm>
+          <option>-XArrows</option>
+          <indexterm><primary><option>-XArrows</option></primary></indexterm>

         </term>
        <listitem>
          <para>See <xref linkend="arrow-notation"/>.  Independent of
         </term>
        <listitem>
          <para>See <xref linkend="arrow-notation"/>.  Independent of

@@ -214,8 +207,8 @@ documentation</ulink> describes all the libraries that come with GHC.
 
       <varlistentry>
        <term>
 
       <varlistentry>
        <term>

-          <option>-X=Generics</option>
-          <indexterm><primary><option>-X=Generics</option></primary></indexterm>
+          <option>-XGenerics</option>
+          <indexterm><primary><option>-XGenerics</option></primary></indexterm>

         </term>
        <listitem>
          <para>See <xref linkend="generic-classes"/>.  Independent of
         </term>
        <listitem>
          <para>See <xref linkend="generic-classes"/>.  Independent of

@@ -224,13 +217,13 @@ documentation</ulink> describes all the libraries that come with GHC.
       </varlistentry>
 
       <varlistentry>
       </varlistentry>
 
       <varlistentry>

-       <term><option>-X=NoImplicitIrelude</option></term>
+       <term><option>-XNoImplicitPrelude</option></term>

        <listitem>
        <listitem>

-         <para><indexterm><primary>-XnoImplicitPrelude
+         <para><indexterm><primary>-XNoImplicitPrelude

           option</primary></indexterm> GHC normally imports
           <filename>Prelude.hi</filename> files for you.  If you'd
           rather it didn't, then give it a
           option</primary></indexterm> GHC normally imports
           <filename>Prelude.hi</filename> files for you.  If you'd
           rather it didn't, then give it a

-          <option>-XnoImplicitPrelude</option> option.  The idea is
+          <option>-XNoImplicitPrelude</option> option.  The idea is

           that you can then import a Prelude of your own.  (But don't
           call it <literal>Prelude</literal>; the Haskell module
           namespace is flat, and you must not conflict with any
           that you can then import a Prelude of your own.  (But don't
           call it <literal>Prelude</literal>; the Haskell module
           namespace is flat, and you must not conflict with any

@@ -245,14 +238,14 @@ documentation</ulink> describes all the libraries that come with GHC.
           translation for list comprehensions continues to use
           <literal>Prelude.map</literal> etc.</para>
 
           translation for list comprehensions continues to use
           <literal>Prelude.map</literal> etc.</para>
 

-         <para>However, <option>-X=NoImplicitPrelude</option> does
+         <para>However, <option>-XNoImplicitPrelude</option> does

          change the handling of certain built-in syntax: see <xref
          linkend="rebindable-syntax"/>.</para>
        </listitem>
       </varlistentry>
 
       <varlistentry>
          change the handling of certain built-in syntax: see <xref
          linkend="rebindable-syntax"/>.</para>
        </listitem>
       </varlistentry>
 
       <varlistentry>

-       <term><option>-X=ImplicitParams</option></term>
+       <term><option>-XImplicitParams</option></term>

        <listitem>
          <para>Enables implicit parameters (see <xref
          linkend="implicit-parameters"/>).  Currently also implied by 
        <listitem>
          <para>Enables implicit parameters (see <xref
          linkend="implicit-parameters"/>).  Currently also implied by 

@@ -265,7 +258,7 @@ documentation</ulink> describes all the libraries that come with GHC.
       </varlistentry>
 
       <varlistentry>
       </varlistentry>
 
       <varlistentry>

-       <term><option>-X=OverloadedStrings</option></term>
+       <term><option>-XOverloadedStrings</option></term>

        <listitem>
          <para>Enables overloaded string literals (see <xref
          linkend="overloaded-strings"/>).</para>
        <listitem>
          <para>Enables overloaded string literals (see <xref
          linkend="overloaded-strings"/>).</para>

@@ -273,7 +266,7 @@ documentation</ulink> describes all the libraries that come with GHC.
       </varlistentry>
 
       <varlistentry>
       </varlistentry>
 
       <varlistentry>

-       <term><option>-X=ScopedTypeVariables</option></term>
+       <term><option>-XScopedTypeVariables</option></term>

        <listitem>
          <para>Enables lexically-scoped type variables (see <xref
          linkend="scoped-type-variables"/>).  Implied by
        <listitem>
          <para>Enables lexically-scoped type variables (see <xref
          linkend="scoped-type-variables"/>).  Implied by

@@ -282,7 +275,7 @@ documentation</ulink> describes all the libraries that come with GHC.
       </varlistentry>
 
       <varlistentry>
       </varlistentry>
 
       <varlistentry>

-       <term><option>-X=TH</option>, <option>-X=TemplateHaskell</option></term>
+       <term><option>-XTemplateHaskell</option></term>

        <listitem>
          <para>Enables Template Haskell (see <xref
          linkend="template-haskell"/>).  This flag must
        <listitem>
          <para>Enables Template Haskell (see <xref
          linkend="template-haskell"/>).  This flag must

@@ -859,7 +852,7 @@ This name is not supported by GHC.
             hierarchy.  It completely defeats that purpose if the
             literal "1" means "<literal>Prelude.fromInteger
             1</literal>", which is what the Haskell Report specifies.
             hierarchy.  It completely defeats that purpose if the
             literal "1" means "<literal>Prelude.fromInteger
             1</literal>", which is what the Haskell Report specifies.

-            So the <option>-X=NoImplicitPrelude</option> flag causes
+            So the <option>-XNoImplicitPrelude</option> flag causes

             the following pieces of built-in syntax to refer to
             <emphasis>whatever is in scope</emphasis>, not the Prelude
             versions:
             the following pieces of built-in syntax to refer to
             <emphasis>whatever is in scope</emphasis>, not the Prelude
             versions:

@@ -1847,7 +1840,7 @@ may use different notation to that implemented in GHC.
 </para>
 <para>
 The rest of this section outlines the extensions to GHC that support GADTs.   The extension is enabled with 
 </para>
 <para>
 The rest of this section outlines the extensions to GHC that support GADTs.   The extension is enabled with 

-<option>-X=GADTs</option>.
+<option>-XGADTs</option>.

 <itemizedlist>
 <listitem><para>
 A GADT can only be declared using GADT-style syntax (<xref linkend="gadt-style"/>); 
 <itemizedlist>
 <listitem><para>
 A GADT can only be declared using GADT-style syntax (<xref linkend="gadt-style"/>); 

@@ -2750,8 +2743,8 @@ makes instance inference go into a loop, because it requires the constraint
 </para>
 <para>
 Nevertheless, GHC allows you to experiment with more liberal rules.  If you use
 </para>
 <para>
 Nevertheless, GHC allows you to experiment with more liberal rules.  If you use

-the experimental flag <option>-X=AllowUndecidableInstances</option>
-<indexterm><primary>-X=AllowUndecidableInstances</primary></indexterm>, 
+the experimental flag <option>-XUndecidableInstances</option>
+<indexterm><primary>-XUndecidableInstances</primary></indexterm>, 

 both the Paterson Conditions and the Coverage Condition
 (described in <xref linkend="instance-rules"/>) are lifted.  Termination is ensured by having a
 fixed-depth recursion stack.  If you exceed the stack depth you get a
 both the Paterson Conditions and the Coverage Condition
 (described in <xref linkend="instance-rules"/>) are lifted.  Termination is ensured by having a
 fixed-depth recursion stack.  If you exceed the stack depth you get a

@@ -2768,11 +2761,11 @@ with <option>-fcontext-stack=</option><emphasis>N</emphasis>.
 In general, <emphasis>GHC requires that that it be unambiguous which instance
 declaration
 should be used to resolve a type-class constraint</emphasis>. This behaviour
 In general, <emphasis>GHC requires that that it be unambiguous which instance
 declaration
 should be used to resolve a type-class constraint</emphasis>. This behaviour

-can be modified by two flags: <option>-X=AllowOverlappingInstances</option>
-<indexterm><primary>-X=AllowOverlappingInstances
+can be modified by two flags: <option>-XOverlappingInstances</option>
+<indexterm><primary>-XOverlappingInstances

 </primary></indexterm> 
 </primary></indexterm> 

-and <option>-X=AllowIncoherentInstances</option>
-<indexterm><primary>-X=AllowIncoherentInstances
+and <option>-XIncoherentInstances</option>
+<indexterm><primary>-XIncoherentInstances

 </primary></indexterm>, as this section discusses.  Both these
 flags are dynamic flags, and can be set on a per-module basis, using 
 an <literal>OPTIONS_GHC</literal> pragma if desired (<xref linkend="source-file-options"/>).</para>
 </primary></indexterm>, as this section discusses.  Both these
 flags are dynamic flags, and can be set on a per-module basis, using 
 an <literal>OPTIONS_GHC</literal> pragma if desired (<xref linkend="source-file-options"/>).</para>

@@ -2800,7 +2793,7 @@ particular constraint matches more than one.
 </para>
 
 <para>
 </para>
 
 <para>

-The <option>-X=AllowOverlappingInstances</option> flag instructs GHC to allow
+The <option>-XOverlappingInstances</option> flag instructs GHC to allow

 more than one instance to match, provided there is a most specific one.  For
 example, the constraint <literal>C Int [Int]</literal> matches instances (A),
 (C) and (D), but the last is more specific, and hence is chosen.  If there is no
 more than one instance to match, provided there is a most specific one.  For
 example, the constraint <literal>C Int [Int]</literal> matches instances (A),
 (C) and (D), but the last is more specific, and hence is chosen.  If there is no

@@ -2817,22 +2810,22 @@ Suppose that from the RHS of <literal>f</literal> we get the constraint
 GHC does not commit to instance (C), because in a particular
 call of <literal>f</literal>, <literal>b</literal> might be instantiate 
 to <literal>Int</literal>, in which case instance (D) would be more specific still.
 GHC does not commit to instance (C), because in a particular
 call of <literal>f</literal>, <literal>b</literal> might be instantiate 
 to <literal>Int</literal>, in which case instance (D) would be more specific still.

-So GHC rejects the program.  If you add the flag <option>-X=AllowIncoherentInstances</option>,
+So GHC rejects the program.  If you add the flag <option>-XIncoherentInstances</option>,

 GHC will instead pick (C), without complaining about 
 the problem of subsequent instantiations.
 </para>
 <para>
 The willingness to be overlapped or incoherent is a property of 
 the <emphasis>instance declaration</emphasis> itself, controlled by the
 GHC will instead pick (C), without complaining about 
 the problem of subsequent instantiations.
 </para>
 <para>
 The willingness to be overlapped or incoherent is a property of 
 the <emphasis>instance declaration</emphasis> itself, controlled by the

-presence or otherwise of the <option>-X=AllowOverlappingInstances</option> 
-and <option>-X=AllowIncoherentInstances</option> flags when that mdodule is
+presence or otherwise of the <option>-XOverlappingInstances</option> 
+and <option>-XIncoherentInstances</option> flags when that mdodule is

 being defined.  Neither flag is required in a module that imports and uses the
 instance declaration.  Specifically, during the lookup process:
 <itemizedlist>
 <listitem><para>
 An instance declaration is ignored during the lookup process if (a) a more specific
 match is found, and (b) the instance declaration was compiled with 
 being defined.  Neither flag is required in a module that imports and uses the
 instance declaration.  Specifically, during the lookup process:
 <itemizedlist>
 <listitem><para>
 An instance declaration is ignored during the lookup process if (a) a more specific
 match is found, and (b) the instance declaration was compiled with 

-<option>-X=AllowOverlappingInstances</option>.  The flag setting for the
+<option>-XOverlappingInstances</option>.  The flag setting for the

 more-specific instance does not matter.
 </para></listitem>
 <listitem><para>
 more-specific instance does not matter.
 </para></listitem>
 <listitem><para>

@@ -2840,7 +2833,7 @@ Suppose an instance declaration does not match the constraint being looked up, b
 does unify with it, so that it might match when the constraint is further 
 instantiated.  Usually GHC will regard this as a reason for not committing to
 some other constraint.  But if the instance declaration was compiled with
 does unify with it, so that it might match when the constraint is further 
 instantiated.  Usually GHC will regard this as a reason for not committing to
 some other constraint.  But if the instance declaration was compiled with

-<option>-X=AllowIncoherentInstances</option>, GHC will skip the "does-it-unify?" 
+<option>-XIncoherentInstances</option>, GHC will skip the "does-it-unify?" 

 check for that declaration.
 </para></listitem>
 </itemizedlist>
 check for that declaration.
 </para></listitem>
 </itemizedlist>

@@ -2849,18 +2842,18 @@ overlapping instances without the library client having to know.
 </para>
 <para>
 If an instance declaration is compiled without
 </para>
 <para>
 If an instance declaration is compiled without

-<option>-X=AllowOverlappingInstances</option>,
+<option>-XOverlappingInstances</option>,

 then that instance can never be overlapped.  This could perhaps be
 inconvenient.  Perhaps the rule should instead say that the
 <emphasis>overlapping</emphasis> instance declaration should be compiled in
 this way, rather than the <emphasis>overlapped</emphasis> one.  Perhaps overlap
 at a usage site should be permitted regardless of how the instance declarations
 then that instance can never be overlapped.  This could perhaps be
 inconvenient.  Perhaps the rule should instead say that the
 <emphasis>overlapping</emphasis> instance declaration should be compiled in
 this way, rather than the <emphasis>overlapped</emphasis> one.  Perhaps overlap
 at a usage site should be permitted regardless of how the instance declarations

-are compiled, if the <option>-X=AllowOverlappingInstances</option> flag is
+are compiled, if the <option>-XOverlappingInstances</option> flag is

 used at the usage site.  (Mind you, the exact usage site can occasionally be
 hard to pin down.)  We are interested to receive feedback on these points.
 </para>
 used at the usage site.  (Mind you, the exact usage site can occasionally be
 hard to pin down.)  We are interested to receive feedback on these points.
 </para>

-<para>The <option>-X=AllowIncoherentInstances</option> flag implies the
-<option>-X=AllowOverlappingInstances</option> flag, but not vice versa.
+<para>The <option>-XIncoherentInstances</option> flag implies the
+<option>-XOverlappingInstances</option> flag, but not vice versa.

 </para>
 </sect3>
 
 </para>
 </sect3>
 

@@ -3043,7 +3036,7 @@ Boston, Jan 2000.
 due to Jeff Lewis.)</para>
 
 <para>Implicit parameter support is enabled with the option
 due to Jeff Lewis.)</para>
 
 <para>Implicit parameter support is enabled with the option

-<option>-X=ImplicitParams</option>.</para>
+<option>-XImplicitParams</option>.</para>

 
 <para>
 A variable is called <emphasis>dynamically bound</emphasis> when it is bound by the calling
 
 <para>
 A variable is called <emphasis>dynamically bound</emphasis> when it is bound by the calling

@@ -4081,7 +4074,7 @@ and all others are monomorphic until the group is generalised
 <para>Following a suggestion of Mark Jones, in his paper
 <ulink url="http://www.cse.ogi.edu/~mpj/thih/">Typing Haskell in
 Haskell</ulink>,
 <para>Following a suggestion of Mark Jones, in his paper
 <ulink url="http://www.cse.ogi.edu/~mpj/thih/">Typing Haskell in
 Haskell</ulink>,

-GHC implements a more general scheme.  If <option>-X=RelaxedPolyRec</option> is
+GHC implements a more general scheme.  If <option>-XRelaxedPolyRec</option> is

 specified:
 <emphasis>the dependency analysis ignores references to variables that have an explicit
 type signature</emphasis>.
 specified:
 <emphasis>the dependency analysis ignores references to variables that have an explicit
 type signature</emphasis>.

@@ -4110,7 +4103,7 @@ Now, the defintion for <literal>f</literal> is typechecked, with this type for
 The same refined dependency analysis also allows the type signatures of 
 mutually-recursive functions to have different contexts, something that is illegal in
 Haskell 98 (Section 4.5.2, last sentence).  With
 The same refined dependency analysis also allows the type signatures of 
 mutually-recursive functions to have different contexts, something that is illegal in
 Haskell 98 (Section 4.5.2, last sentence).  With

-<option>-X=RelaxedPolyRec</option>
+<option>-XRelaxedPolyRec</option>

 GHC only insists that the type signatures of a <emphasis>refined</emphasis> group have identical
 type signatures; in practice this means that only variables bound by the same
 pattern binding must have the same context.  For example, this is fine:
 GHC only insists that the type signatures of a <emphasis>refined</emphasis> group have identical
 type signatures; in practice this means that only variables bound by the same
 pattern binding must have the same context.  For example, this is fine:

@@ -4131,7 +4124,7 @@ pattern binding must have the same context.  For example, this is fine:
 <para>
 GHC supports <emphasis>overloaded string literals</emphasis>.  Normally a
 string literal has type <literal>String</literal>, but with overloaded string
 <para>
 GHC supports <emphasis>overloaded string literals</emphasis>.  Normally a
 string literal has type <literal>String</literal>, but with overloaded string

-literals enabled (with <literal>-X=OverloadedStrings</literal>)
+literals enabled (with <literal>-XOverloadedStrings</literal>)

  a string literal has type <literal>(IsString a) => a</literal>.
 </para>
 <para>
  a string literal has type <literal>(IsString a) => a</literal>.
 </para>
 <para>

@@ -4157,7 +4150,7 @@ it explicitly (for exmaple, to give an instance declaration for it), you can imp
 from module <literal>GHC.Exts</literal>.
 </para>
 <para>
 from module <literal>GHC.Exts</literal>.
 </para>
 <para>

-Haskell's defaulting mechanism is extended to cover string literals, when <option>-X-OverloadedStrings</option> is specified.
+Haskell's defaulting mechanism is extended to cover string literals, when <option>-XOverloadedStrings</option> is specified.

 Specifically:
 <itemizedlist>
 <listitem><para>
 Specifically:
 <itemizedlist>
 <listitem><para>

@@ -4220,7 +4213,7 @@ wiki page on type families</ulink>.  The material will be moved to this user's
 guide when it has stabilised.
 </para>
 <para>
 guide when it has stabilised.
 </para>
 <para>

-Type families are enabled by the flag <option>-X=TypeFamilies</option>.
+Type families are enabled by the flag <option>-XTypeFamilies</option>.

 </para>
 
 
 </para>
 
 

@@ -4269,10 +4262,10 @@ Tim Sheard is going to expand it.)
 
       <para> Template Haskell has the following new syntactic
       constructions.  You need to use the flag
 
       <para> Template Haskell has the following new syntactic
       constructions.  You need to use the flag

-      <option>-X=TemplateHaskell</option> or <option>-X=TH</option>
-       <indexterm><primary><option>-X=TemplateHaskell</option></primary>
+      <option>-XTemplateHaskell</option>
+       <indexterm><primary><option>-XTemplateHaskell</option></primary>

       </indexterm>to switch these syntactic extensions on
       </indexterm>to switch these syntactic extensions on

-      (<option>-X=TemplateHaskell</option> is no longer implied by
+      (<option>-XTemplateHaskell</option> is no longer implied by

       <option>-fglasgow-exts</option>).</para>
 
        <itemizedlist>
       <option>-fglasgow-exts</option>).</para>
 
        <itemizedlist>

@@ -4418,7 +4411,7 @@ pr s      = gen (parse s)
 <para>Now run the compiler (here we are a Cygwin prompt on Windows):
 </para>
 <programlisting>
 <para>Now run the compiler (here we are a Cygwin prompt on Windows):
 </para>
 <programlisting>

-$ ghc --make -X=TemplateHaskell main.hs -o main.exe
+$ ghc --make -XTemplateHaskell main.hs -o main.exe

 </programlisting>
 
 <para>Run "main.exe" and here is your output:</para>
 </programlisting>
 
 <para>Run "main.exe" and here is your output:</para>

@@ -4507,7 +4500,7 @@ Palgrave, 2003.
 </itemizedlist>
 and the arrows web page at
 <ulink url="http://www.haskell.org/arrows/"><literal>http://www.haskell.org/arrows/</literal></ulink>.
 </itemizedlist>
 and the arrows web page at
 <ulink url="http://www.haskell.org/arrows/"><literal>http://www.haskell.org/arrows/</literal></ulink>.

-With the <option>-X=Arrows</option> flag, GHC supports the arrow
+With the <option>-XArrows</option> flag, GHC supports the arrow

 notation described in the second of these papers.
 What follows is a brief introduction to the notation;
 it won't make much sense unless you've read Hughes's paper.
 notation described in the second of these papers.
 What follows is a brief introduction to the notation;
 it won't make much sense unless you've read Hughes's paper.

@@ -4977,7 +4970,7 @@ prime feature description</ulink> contains more discussion and examples
 than the material below.
 </para>
 <para>
 than the material below.
 </para>
 <para>

-Bang patterns are enabled by the flag <option>-X=BangPatterns</option>.
+Bang patterns are enabled by the flag <option>-XBangPatterns</option>.

 </para>
 
 <sect2 id="bang-patterns-informal">
 </para>
 
 <sect2 id="bang-patterns-informal">

@@ -6525,7 +6518,7 @@ where clause and over-ride whichever methods you please.
       <itemizedlist>
        <listitem>
          <para>Use the flags <option>-fglasgow-exts</option> (to enable the extra syntax), 
       <itemizedlist>
        <listitem>
          <para>Use the flags <option>-fglasgow-exts</option> (to enable the extra syntax), 

-                <option>-X=Generics</option> (to generate extra per-data-type code),
+                <option>-XGenerics</option> (to generate extra per-data-type code),

                 and <option>-package lang</option> (to make the <literal>Generics</literal> library
                 available.  </para>
        </listitem>
                 and <option>-package lang</option> (to make the <literal>Generics</literal> library
                 available.  </para>
        </listitem>

@@ -6734,21 +6727,21 @@ carried out at let and where bindings.
 
 <sect2>
 <title>Switching off the dreaded Monomorphism Restriction</title>
 
 <sect2>
 <title>Switching off the dreaded Monomorphism Restriction</title>

-          <indexterm><primary><option>-X=NoMonomorphismRestriction</option></primary></indexterm>
+          <indexterm><primary><option>-XNoMonomorphismRestriction</option></primary></indexterm>

 
 <para>Haskell's monomorphism restriction (see 
 <ulink url="http://haskell.org/onlinereport/decls.html#sect4.5.5">Section
 4.5.5</ulink>
 of the Haskell Report)
 can be completely switched off by
 
 <para>Haskell's monomorphism restriction (see 
 <ulink url="http://haskell.org/onlinereport/decls.html#sect4.5.5">Section
 4.5.5</ulink>
 of the Haskell Report)
 can be completely switched off by

-<option>-X=NoMonomorphismRestriction</option>.
+<option>-XNoMonomorphismRestriction</option>.

 </para>
 </sect2>
 
 <sect2>
 <title>Monomorphic pattern bindings</title>
 </para>
 </sect2>
 
 <sect2>
 <title>Monomorphic pattern bindings</title>

-          <indexterm><primary><option>-X=NoMonoPatBinds</option></primary></indexterm>
-          <indexterm><primary><option>-X=MonoPatBinds</option></primary></indexterm>
+          <indexterm><primary><option>-XNoMonoPatBinds</option></primary></indexterm>
+          <indexterm><primary><option>-XMonoPatBinds</option></primary></indexterm>

 
          <para> As an experimental change, we are exploring the possibility of
          making pattern bindings monomorphic; that is, not generalised at all.  
 
          <para> As an experimental change, we are exploring the possibility of
          making pattern bindings monomorphic; that is, not generalised at all.  

@@ -6764,7 +6757,7 @@ can be completely switched off by
   [x] = e                    -- A pattern binding
 </programlisting>
 Experimentally, GHC now makes pattern bindings monomorphic <emphasis>by
   [x] = e                    -- A pattern binding
 </programlisting>
 Experimentally, GHC now makes pattern bindings monomorphic <emphasis>by

-default</emphasis>.  Use <option>-X=MonoPatBinds</option> to recover the
+default</emphasis>.  Use <option>-XMonoPatBinds</option> to recover the

 standard behaviour.
 </para>
 </sect2>
 standard behaviour.
 </para>
 </sect2>