Commit e703a232 authored by thomie's avatar thomie
Browse files

Docs: fix links to ghc-flags

parent 9dbf354f
......@@ -9328,7 +9328,7 @@ Impredicative polymorphism
.. ghc-flag:: -XImpredicativeTypes
:implies: :ghc-flag:`RankNTypes`
:implies: :ghc-flag:`-RankNTypes`
Allow impredicative polymorphic types.
......
......@@ -72,7 +72,7 @@ languageOptions =
"As of GHC 7.10, this option is not needed, and should not be "++
"used. Previously this would automatically :ref:`derive Typeable "++
"instances for every datatype and type class declaration "++
"<deriving-typeable>`. Implies :ghc-flag:`XDeriveDataTypeable`."
"<deriving-typeable>`. Implies :ghc-flag:`-XDeriveDataTypeable`."
, flagType = DynamicFlag
, flagReverse = "-XNoAutoDeriveTypeable"
, flagSince = "7.8.1"
......@@ -141,7 +141,7 @@ languageOptions =
, flag { flagName = "-XDeriveDataTypeable"
, flagDescription =
"Enable ``deriving`` for the :ref:`Data class "++
"<deriving-typeable>`. Implied by :ghc-flag:`XAutoDeriveTypeable`."
"<deriving-typeable>`. Implied by :ghc-flag:`-XAutoDeriveTypeable`."
, flagType = DynamicFlag
, flagReverse = "-XNoDeriveDataTypeable"
, flagSince = "6.8.1"
......@@ -149,7 +149,7 @@ languageOptions =
, flag { flagName = "-XDeriveFunctor"
, flagDescription =
"Enable :ref:`deriving for the Functor class <deriving-extra>`. "++
"Implied by :ghc-flag:`XDeriveTraversable`."
"Implied by :ghc-flag:`-XDeriveTraversable`."
, flagType = DynamicFlag
, flagReverse = "-XNoDeriveFunctor"
, flagSince = "7.10.1"
......@@ -157,7 +157,7 @@ languageOptions =
, flag { flagName = "-XDeriveFoldable"
, flagDescription =
"Enable :ref:`deriving for the Foldable class <deriving-extra>`. "++
"Implied by :ghc-flag:`XDeriveTraversable`."
"Implied by :ghc-flag:`-XDeriveTraversable`."
, flagType = DynamicFlag
, flagReverse = "-XNoDeriveFoldable"
, flagSince = "7.10.1"
......@@ -186,7 +186,7 @@ languageOptions =
, flag { flagName = "-XDeriveTraversable"
, flagDescription =
"Enable :ref:`deriving for the Traversable class <deriving-extra>`. "++
"Implies :ghc-flag:`XDeriveFunctor` and :ghc-flag:`XDeriveFoldable`."
"Implies :ghc-flag:`-XDeriveFunctor` and :ghc-flag:`-XDeriveFoldable`."
, flagType = DynamicFlag
, flagReverse = "-XNoDeriveTraversable"
, flagSince = "7.10.1"
......@@ -194,7 +194,7 @@ languageOptions =
, flag { flagName = "-XDisambiguateRecordFields"
, flagDescription =
"Enable :ref:`record field disambiguation <disambiguate-fields>`. "++
"Implied by :ghc-flag:`XRecordWildCards`."
"Implied by :ghc-flag:`-XRecordWildCards`."
, flagType = DynamicFlag
, flagReverse = "-XNoDisambiguateRecordFields"
, flagSince = "6.8.1"
......@@ -222,8 +222,8 @@ languageOptions =
, flag { flagName = "-XExplicitForAll"
, flagDescription =
"Enable :ref:`explicit universal quantification <explicit-foralls>`."++
" Implied by :ghc-flag:`XScopedTypeVariables`, :ghc-flag:`XLiberalTypeSynonyms`,"++
" :ghc-flag:`XRankNTypes` and :ghc-flag:`XExistentialQuantification`."
" Implied by :ghc-flag:`-XScopedTypeVariables`, :ghc-flag:`-XLiberalTypeSynonyms`,"++
" :ghc-flag:`-XRankNTypes` and :ghc-flag:`-XExistentialQuantification`."
, flagType = DynamicFlag
, flagReverse = "-XNoExplicitForAll"
, flagSince = "6.12.1"
......@@ -232,7 +232,7 @@ languageOptions =
, flagDescription =
"Enable using the keyword ``type`` to specify the namespace of "++
"entries in imports and exports (:ref:`explicit-namespaces`). "++
"Implied by :ghc-flag:`XTypeOperators` and :ghc-flag:`XTypeFamilies`."
"Implied by :ghc-flag:`-XTypeOperators` and :ghc-flag:`-XTypeFamilies`."
, flagType = DynamicFlag
, flagReverse = "-XNoExplicitNamespaces"
, flagSince = "7.6.1"
......@@ -248,7 +248,7 @@ languageOptions =
, flag { flagName = "-XFlexibleContexts"
, flagDescription =
"Enable :ref:`flexible contexts <flexible-contexts>`. Implied by "++
":ghc-flag:`XImplicitParams`."
":ghc-flag:`-XImplicitParams`."
, flagType = DynamicFlag
, flagReverse = "-XNoFlexibleContexts"
, flagSince = "6.8.1"
......@@ -256,8 +256,8 @@ languageOptions =
, flag { flagName = "-XFlexibleInstances"
, flagDescription =
"Enable :ref:`flexible instances <instance-rules>`. "++
"Implies :ghc-flag:`XTypeSynonymInstances`. "++
"Implied by :ghc-flag:`XImplicitParams`."
"Implies :ghc-flag:`-XTypeSynonymInstances`. "++
"Implied by :ghc-flag:`-XImplicitParams`."
, flagType = DynamicFlag
, flagReverse = "-XNoFlexibleInstances"
, flagSince = "6.8.1"
......@@ -272,7 +272,7 @@ languageOptions =
, flag { flagName = "-XFunctionalDependencies"
, flagDescription =
"Enable :ref:`functional dependencies <functional-dependencies>`. "++
"Implies :ghc-flag:`XMultiParamTypeClasses`."
"Implies :ghc-flag:`-XMultiParamTypeClasses`."
, flagType = DynamicFlag
, flagReverse = "-XNoFunctionalDependencies"
, flagSince = "6.8.1"
......@@ -280,7 +280,7 @@ languageOptions =
, flag { flagName = "-XGADTs"
, flagDescription =
"Enable :ref:`generalised algebraic data types <gadt>`. "++
"Implies :ghc-flag:`XGADTSyntax` and :ghc-flag:`XMonoLocalBinds`."
"Implies :ghc-flag:`-XGADTSyntax` and :ghc-flag:`-XMonoLocalBinds`."
, flagType = DynamicFlag
, flagReverse = "-XNoGADTs"
, flagSince = "6.8.1"
......@@ -311,7 +311,7 @@ languageOptions =
, flag { flagName = "-XImplicitParams"
, flagDescription =
"Enable :ref:`Implicit Parameters <implicit-parameters>`. "++
"Implies :ghc-flag:`XFlexibleContexts` and :ghc-flag:`XFlexibleInstances`."
"Implies :ghc-flag:`-XFlexibleContexts` and :ghc-flag:`-XFlexibleInstances`."
, flagType = DynamicFlag
, flagReverse = "-XNoImplicitParams"
, flagSince = "6.8.1"
......@@ -319,7 +319,7 @@ languageOptions =
, flag { flagName = "-XNoImplicitPrelude"
, flagDescription =
"Don't implicitly ``import Prelude``. "++
"Implied by :ghc-flag:`XRebindableSyntax`."
"Implied by :ghc-flag:`-XRebindableSyntax`."
, flagType = DynamicFlag
, flagReverse = "-XImplicitPrelude"
, flagSince = "6.8.1"
......@@ -327,7 +327,7 @@ languageOptions =
, flag { flagName = "-XImpredicativeTypes"
, flagDescription =
"Enable :ref:`impredicative types <impredicative-polymorphism>`. "++
"Implies :ghc-flag:`XRankNTypes`."
"Implies :ghc-flag:`-XRankNTypes`."
, flagType = DynamicFlag
, flagReverse = "-XNoImpredicativeTypes"
, flagSince = "6.10.1"
......@@ -335,7 +335,7 @@ languageOptions =
, flag { flagName = "-XIncoherentInstances"
, flagDescription =
"Enable :ref:`incoherent instances <instance-overlap>`. "++
"Implies :ghc-flag:`XOverlappingInstances`."
"Implies :ghc-flag:`-XOverlappingInstances`."
, flagType = DynamicFlag
, flagReverse = "-XNoIncoherentInstances"
, flagSince = "6.8.1"
......@@ -343,7 +343,7 @@ languageOptions =
, flag { flagName = "-XTypeFamilyDependencies"
, flagDescription =
"Enable :ref:`injective type families <injective-ty-fams>`. "++
"Implies :ghc-flag:`XTypeFamilies`."
"Implies :ghc-flag:`-XTypeFamilies`."
, flagType = DynamicFlag
, flagReverse = "-XNoTypeFamilyDependencies"
, flagSince = "8.0.1"
......@@ -364,7 +364,7 @@ languageOptions =
, flag { flagName = "-XKindSignatures"
, flagDescription =
"Enable :ref:`kind signatures <kinding>`. "++
"Implied by :ghc-flag:`XTypeFamilies` and :ghc-flag:`XPolyKinds`."
"Implied by :ghc-flag:`-XTypeFamilies` and :ghc-flag:`-XPolyKinds`."
, flagType = DynamicFlag
, flagReverse = "-XNoKindSignatures"
, flagSince = "6.8.1"
......@@ -400,7 +400,7 @@ languageOptions =
, flag { flagName = "-XMonoLocalBinds"
, flagDescription =
"Enable :ref:`do not generalise local bindings <mono-local-binds>`. "++
"Implied by :ghc-flag:`XTypeFamilies` and :ghc-flag:`XGADTs`."
"Implied by :ghc-flag:`-XTypeFamilies` and :ghc-flag:`-XGADTs`."
, flagType = DynamicFlag
, flagReverse = "-XNoMonoLocalBinds"
, flagSince = "6.12.1"
......@@ -416,7 +416,7 @@ languageOptions =
, flagDescription =
"Enable :ref:`multi parameter type classes "++
"<multi-param-type-classes>`. Implied by "++
":ghc-flag:`XFunctionalDependencies`."
":ghc-flag:`-XFunctionalDependencies`."
, flagType = DynamicFlag
, flagReverse = "-XNoMultiParamTypeClasses"
, flagSince = "6.8.1"
......@@ -457,7 +457,7 @@ languageOptions =
, flagDescription =
"Deprecated, does nothing. :ref:`nullary (no parameter) type "++
"classes <nullary-type-classes>` are now enabled using "++
":ghc-flag:`XMultiParamTypeClasses`."
":ghc-flag:`-XMultiParamTypeClasses`."
, flagType = DynamicFlag
, flagReverse = "-XNoNullaryTypeClasses"
, flagSince = "7.8.1"
......@@ -499,7 +499,7 @@ languageOptions =
}
, flag { flagName = "-XParallelArrays"
, flagDescription =
"Enable parallel arrays. Implies :ghc-flag:`XParallelListComp`."
"Enable parallel arrays. Implies :ghc-flag:`-XParallelListComp`."
, flagType = DynamicFlag
, flagReverse = "-XNoParallelArrays"
, flagSince = "7.4.1"
......@@ -508,7 +508,7 @@ languageOptions =
, flagDescription =
"Enable :ref:`parallel list comprehensions "++
"<parallel-list-comprehensions>`. "++
"Implied by :ghc-flag:`XParallelArrays`."
"Implied by :ghc-flag:`-XParallelArrays`."
, flagType = DynamicFlag
, flagReverse = "-XNoParallelListComp"
, flagSince = "6.8.1"
......@@ -536,7 +536,7 @@ languageOptions =
, flag { flagName = "-XPolyKinds"
, flagDescription =
"Enable :ref:`kind polymorphism <kind-polymorphism>`. "++
"Implies :ghc-flag:`XKindSignatures`."
"Implies :ghc-flag:`-XKindSignatures`."
, flagType = DynamicFlag
, flagReverse = "-XNoPolyKinds"
, flagSince = "7.4.1"
......@@ -544,7 +544,7 @@ languageOptions =
, flag { flagName = "-XPolymorphicComponents"
, flagDescription =
"Enable :ref:`polymorphic components for data constructors "++
"<universal-quantification>`. Synonym for :ghc-flag:`XRankNTypes`."
"<universal-quantification>`. Synonym for :ghc-flag:`-XRankNTypes`."
, flagType = DynamicFlag
, flagReverse = "-XNoPolymorphicComponents"
, flagSince = "6.8.1"
......@@ -565,7 +565,7 @@ languageOptions =
, flag { flagName = "-XRank2Types"
, flagDescription =
"Enable :ref:`rank-2 types <universal-quantification>`. "++
"Synonym for :ghc-flag:`XRankNTypes`."
"Synonym for :ghc-flag:`-XRankNTypes`."
, flagType = DynamicFlag
, flagReverse = "-XNoRank2Types"
, flagSince = "6.8.1"
......@@ -573,7 +573,7 @@ languageOptions =
, flag { flagName = "-XRankNTypes"
, flagDescription =
"Enable :ref:`rank-N types <universal-quantification>`. "++
"Implied by :ghc-flag:`XImpredicativeTypes`."
"Implied by :ghc-flag:`-XImpredicativeTypes`."
, flagType = DynamicFlag
, flagReverse = "-XNoRankNTypes"
, flagSince = "6.8.1"
......@@ -581,7 +581,7 @@ languageOptions =
, flag { flagName = "-XRebindableSyntax"
, flagDescription =
"Employ :ref:`rebindable syntax <rebindable-syntax>`. "++
"Implies :ghc-flag:`XNoImplicitPrelude`."
"Implies :ghc-flag:`-XNoImplicitPrelude`."
, flagType = DynamicFlag
, flagReverse = "-XNoRebindableSyntax"
, flagSince = "7.0.1"
......@@ -589,7 +589,7 @@ languageOptions =
, flag { flagName = "-XRecordWildCards"
, flagDescription =
"Enable :ref:`record wildcards <record-wildcards>`. "++
"Implies :ghc-flag:`XDisambiguateRecordFields`."
"Implies :ghc-flag:`-XDisambiguateRecordFields`."
, flagType = DynamicFlag
, flagReverse = "-XNoRecordWildCards"
, flagSince = "6.8.1"
......@@ -695,8 +695,8 @@ languageOptions =
, flag { flagName = "-XTypeFamilies"
, flagDescription =
"Enable :ref:`type families <type-families>`. "++
"Implies :ghc-flag:`XExplicitNamespaces`, :ghc-flag:`XKindSignatures`, "++
"and :ghc-flag:`XMonoLocalBinds`."
"Implies :ghc-flag:`-XExplicitNamespaces`, :ghc-flag:`-XKindSignatures`, "++
"and :ghc-flag:`-XMonoLocalBinds`."
, flagType = DynamicFlag
, flagReverse = "-XNoTypeFamilies"
, flagSince = "6.8.1"
......@@ -704,7 +704,7 @@ languageOptions =
, flag { flagName = "-XTypeOperators"
, flagDescription =
"Enable :ref:`type operators <type-operators>`. "++
"Implies :ghc-flag:`XExplicitNamespaces`."
"Implies :ghc-flag:`-XExplicitNamespaces`."
, flagType = DynamicFlag
, flagReverse = "-XNoTypeOperators"
, flagSince = "6.8.1"
......@@ -712,7 +712,7 @@ languageOptions =
, flag { flagName = "-XTypeSynonymInstances"
, flagDescription =
"Enable :ref:`type synonyms in instance heads "++
"<flexible-instance-head>`. Implied by :ghc-flag:`XFlexibleInstances`."
"<flexible-instance-head>`. Implied by :ghc-flag:`-XFlexibleInstances`."
, flagType = DynamicFlag
, flagReverse = "-XNoTypeSynonymInstances"
, flagSince = "6.8.1"
......
......@@ -75,7 +75,7 @@ linkingOptions =
}
, flag { flagName = "-no-rtsopts-suggestions"
, flagDescription =
"Don't print RTS suggestions about linking with :ghc-flag:`rtsopts`."
"Don't print RTS suggestions about linking with :ghc-flag:`-rtsopts`."
, flagType = DynamicFlag
}
, flag { flagName = "-no-link"
......@@ -104,7 +104,7 @@ linkingOptions =
}
, flag { flagName = "-ticky"
, flagDescription =
"For linking, this simply implies :ghc-flag:`debug`; "++
"For linking, this simply implies :ghc-flag:`-debug`; "++
"see :ref:`ticky-ticky`."
, flagType = DynamicFlag
}
......
......@@ -6,7 +6,7 @@ miscOptions :: [Flag]
miscOptions =
[ flag { flagName = "-jN"
, flagDescription =
"When compiling with :ghc-flag:`-make`, compile ⟨N⟩ modules in parallel."
"When compiling with :ghc-flag:`--make`, compile ⟨N⟩ modules in parallel."
, flagType = DynamicFlag
}
, flag { flagName = "-fno-hi-version-check"
......
......@@ -6,35 +6,35 @@ optimizationsOptions :: [Flag]
optimizationsOptions =
[ flag { flagName = "-fcall-arity"
, flagDescription =
"Enable call-arity optimisation. Implied by :ghc-flag:`O`."
"Enable call-arity optimisation. Implied by :ghc-flag:`-O`."
, flagType = DynamicFlag
, flagReverse = "-fno-call-arity"
}
, flag { flagName = "-fcase-merge"
, flagDescription = "Enable case-merging. Implied by :ghc-flag:`O`."
, flagDescription = "Enable case-merging. Implied by :ghc-flag:`-O`."
, flagType = DynamicFlag
, flagReverse = "-fno-case-merge"
}
, flag { flagName = "-fcmm-elim-common-blocks"
, flagDescription =
"Enable Cmm common block elimination. Implied by :ghc-flag:`O`."
"Enable Cmm common block elimination. Implied by :ghc-flag:`-O`."
, flagType = DynamicFlag
, flagReverse = "-fno-cmm-elim-common-blocks"
}
, flag { flagName = "-fcmm-sink"
, flagDescription = "Enable Cmm sinking. Implied by :ghc-flag:`O`."
, flagDescription = "Enable Cmm sinking. Implied by :ghc-flag:`-O`."
, flagType = DynamicFlag
, flagReverse = "-fno-cmm-sink"
}
, flag { flagName = "-fcpr-anal"
, flagDescription =
"Turn on CPR analysis in the demand analyser. Implied by :ghc-flag:`O`."
"Turn on CPR analysis in the demand analyser. Implied by :ghc-flag:`-O`."
, flagType = DynamicFlag
, flagReverse = "-fno-cpr-anal"
}
, flag { flagName = "-fcse"
, flagDescription =
"Enable common sub-expression elimination. Implied by :ghc-flag:`O`."
"Enable common sub-expression elimination. Implied by :ghc-flag:`-O`."
, flagType = DynamicFlag
, flagReverse = "-fno-cse"
}
......@@ -57,7 +57,7 @@ optimizationsOptions =
, flagReverse = "-fno-dmd-tx-dict-sel"
}
, flag { flagName = "-fdo-eta-reduction"
, flagDescription = "Enable eta-reduction. Implied by :ghc-flag:`O`."
, flagDescription = "Enable eta-reduction. Implied by :ghc-flag:`-O`."
, flagType = DynamicFlag
, flagReverse = "-fno-do-eta-reduction"
}
......@@ -76,7 +76,7 @@ optimizationsOptions =
, flagDescription =
"Switch on all rewrite rules (including rules generated by "++
"automatic specialisation of overloaded functions). Implied by "++
":ghc-flag:`O`."
":ghc-flag:`-O`."
, flagType = DynamicFlag
, flagReverse = "-fno-enable-rewrite-rules"
}
......@@ -93,14 +93,14 @@ optimizationsOptions =
}
, flag { flagName = "-ffloat-in"
, flagDescription =
"Turn on the float-in transformation. Implied by :ghc-flag:`O`."
"Turn on the float-in transformation. Implied by :ghc-flag:`-O`."
, flagType = DynamicFlag
, flagReverse = "-fno-float-in"
}
, flag { flagName = "-ffull-laziness"
, flagDescription =
"Turn on full laziness (floating bindings outwards). "++
"Implied by :ghc-flag:`O`."
"Implied by :ghc-flag:`-O`."
, flagType = DynamicFlag
, flagReverse = "-fno-full-laziness"
}
......@@ -113,13 +113,13 @@ optimizationsOptions =
}
, flag { flagName = "-fignore-asserts"
, flagDescription =
"Ignore assertions in the source. Implied by :ghc-flag:`O`."
"Ignore assertions in the source. Implied by :ghc-flag:`-O`."
, flagType = DynamicFlag
, flagReverse = "-fno-ignore-asserts"
}
, flag { flagName = "-fignore-interface-pragmas"
, flagDescription =
"Ignore pragmas in interface files. Implied by :ghc-flag:`O0` only."
"Ignore pragmas in interface files. Implied by :ghc-flag:`-O0` only."
, flagType = DynamicFlag
, flagReverse = "-fno-ignore-interface-pragmas"
}
......@@ -132,7 +132,7 @@ optimizationsOptions =
}
, flag { flagName = "-fliberate-case"
, flagDescription =
"Turn on the liberate-case transformation. Implied by :ghc-flag:`O2`."
"Turn on the liberate-case transformation. Implied by :ghc-flag:`-O2`."
, flagType = DynamicFlag
, flagReverse = "-fno-liberate-case"
}
......@@ -146,7 +146,7 @@ optimizationsOptions =
, flag { flagName = "-floopification"
, flagDescription =
"Turn saturated self-recursive tail-calls into local jumps in the "++
"generated assembly. Implied by :ghc-flag:`O`."
"generated assembly. Implied by :ghc-flag:`-O`."
, flagType = DynamicFlag
, flagReverse = "-fno-loopification"
}
......@@ -212,7 +212,7 @@ optimizationsOptions =
}
, flag { flagName = "-fomit-interface-pragmas"
, flagDescription =
"Don't generate interface pragmas. Implied by :ghc-flag:`O0` only."
"Don't generate interface pragmas. Implied by :ghc-flag:`-O0` only."
, flagType = DynamicFlag
, flagReverse = "-fno-omit-interface-pragmas"
}
......@@ -231,7 +231,7 @@ optimizationsOptions =
, flag { flagName = "-fpedantic-bottoms"
, flagDescription =
"Make GHC be more precise about its treatment of bottom (but see "++
"also :ghc-flag:`fno-state-hack`). In particular, GHC will not "++
"also :ghc-flag:`-fno-state-hack`). In particular, GHC will not "++
"eta-expand through a case expression."
, flagType = DynamicFlag
, flagReverse = "-fno-pedantic-bottoms"
......@@ -239,7 +239,7 @@ optimizationsOptions =
, flag { flagName = "-fregs-graph"
, flagDescription =
"Use the graph colouring register allocator for register "++
"allocation in the native code generator. Implied by :ghc-flag:`O2`."
"allocation in the native code generator. Implied by :ghc-flag:`-O2`."
, flagType = DynamicFlag
, flagReverse = "-fno-regs-graph"
}
......@@ -253,7 +253,7 @@ optimizationsOptions =
, flag { flagName = "-fsimplifier-phases=⟨n⟩"
, flagDescription =
"*default: 2.* Set the number of phases for the simplifier. "++
"Ignored with :ghc-flag:`O0`."
"Ignored with :ghc-flag:`-O0`."
, flagType = DynamicFlag
}
, flag { flagName = "-fsimpl-tick-factor=⟨n⟩"
......@@ -263,7 +263,7 @@ optimizationsOptions =
}
, flag { flagName = "-fspec-constr"
, flagDescription =
"Turn on the SpecConstr transformation. Implied by :ghc-flag:`O2`."
"Turn on the SpecConstr transformation. Implied by :ghc-flag:`-O2`."
, flagType = DynamicFlag
, flagReverse = "-fno-spec-constr"
}
......@@ -284,7 +284,7 @@ optimizationsOptions =
}
, flag { flagName = "-fspecialise"
, flagDescription =
"Turn on specialisation of overloaded functions. Implied by :ghc-flag:`O`."
"Turn on specialisation of overloaded functions. Implied by :ghc-flag:`-O`."
, flagType = DynamicFlag
, flagReverse = "-fno-specialise"
}
......@@ -302,7 +302,7 @@ optimizationsOptions =
}
, flag { flagName = "-fstrictness"
, flagDescription = "Turn on strictness analysis." ++
" Implied by :ghc-flag:`O`. Implies :ghc-flag:`fworker-wrapper`"
" Implied by :ghc-flag:`-O`. Implies :ghc-flag:`-fworker-wrapper`"
, flagType = DynamicFlag
, flagReverse = "-fno-strictness"
}
......@@ -314,7 +314,7 @@ optimizationsOptions =
, flag { flagName = "-funbox-small-strict-fields"
, flagDescription =
"Flatten strict constructor fields with a pointer-sized "++
"representation. Implied by :ghc-flag:`O`."
"representation. Implied by :ghc-flag:`-O`."
, flagType = DynamicFlag
, flagReverse = "-fno-unbox-small-strict-fields"
}
......@@ -357,9 +357,9 @@ optimizationsOptions =
, flag { flagName = "-fworker-wrapper"
, flagDescription =
"Enable the worker-wrapper transformation after a strictness" ++
" analysis pass. Implied by :ghc-flag:`O`, and by :ghc-flag:`fstrictness`." ++
" Disabled by :ghc-flag:`fno-strictness`. Enabling :ghc-flag:`fworker-wrapper`" ++
" while strictness analysis is disabled (by :ghc-flag:`fno-strictness`)" ++
" analysis pass. Implied by :ghc-flag:`-O`, and by :ghc-flag:`-fstrictness`." ++
" Disabled by :ghc-flag:`-fno-strictness`. Enabling :ghc-flag:`-fworker-wrapper`" ++
" while strictness analysis is disabled (by :ghc-flag:`-fno-strictness`)" ++
" has no effect."
, flagType = DynamicFlag
, flagReverse = "-fno-worker-wrapper"
......
......@@ -7,7 +7,7 @@ phaseOptions =
[ flag { flagName = "-F"
, flagDescription =
"Enable the use of a :ref:`pre-processor <pre-processor>` "++
"(set with :ghc-flag:`pgmF`)"
"(set with :ghc-flag:`-pgmF`)"
, flagType = DynamicFlag
}
, flag { flagName = "-E"
......
......@@ -8,7 +8,7 @@ recompilationCheckingOptions =
, flagDescription =
"Turn off recompilation checking. This is implied by any " ++
"``-ddump-X`` option when compiling a single file " ++
"(i.e. when using :ghc-flag:`c`)."
"(i.e. when using :ghc-flag:`-c`)."
, flagType = DynamicFlag
, flagReverse = "-fno-force-recomp"
}
......
......@@ -22,14 +22,14 @@ verbosityOptions =
, flag { flagName = "-fprint-explicit-foralls"
, flagDescription =
"Print explicit ``forall`` quantification in types. " ++
"See also :ghc-flag:`XExplicitForAll`"
"See also :ghc-flag:`-XExplicitForAll`"
, flagType = DynamicFlag
, flagReverse = "-fno-print-explicit-foralls"
}
, flag { flagName = "-fprint-explicit-kinds"
, flagDescription =
"Print explicit kind foralls and kind arguments in types. " ++
"See also :ghc-flag:`XKindSignature`"
"See also :ghc-flag:`-XKindSignature`"
, flagType = DynamicFlag
, flagReverse = "-fno-print-explicit-kinds"
}
......@@ -43,7 +43,7 @@ verbosityOptions =
, flag { flagName = "-fprint-unicode-syntax"
, flagDescription =
"Use unicode syntax when printing expressions, types and kinds. " ++
"See also :ghc-flag:`XUnicodeSyntax`"
"See also :ghc-flag:`-XUnicodeSyntax`"
, flagType = DynamicFlag
, flagReverse = "-fno-print-unicode-syntax"
}
......
......@@ -51,8 +51,8 @@ warningsOptions =
, flag { flagName = "-fdefer-type-errors"
, flagDescription =
"Turn type errors into warnings, :ref:`deferring the error until "++
"runtime <defer-type-errors>`. Implies :ghc-flag:`fdefer-typed-holes`. "++
"See also :ghc-flag:`Wdeferred-type-errors`"
"runtime <defer-type-errors>`. Implies :ghc-flag:`-fdefer-typed-holes`. "++
"See also :ghc-flag:`-Wdeferred-type-errors`"
, flagType = DynamicFlag
, flagReverse = "-fno-defer-type-errors"
}
......@@ -60,8 +60,8 @@ warningsOptions =
, flagDescription =
"Convert :ref:`typed hole <typed-holes>` errors into warnings, "++
":ref:`deferring the error until runtime <defer-type-errors>`. "++
"Implied by :ghc-flag:`fdefer-type-errors`. "++
"See also :ghc-flag:`Wtyped-holes`."
"Implied by :ghc-flag:`-fdefer-type-errors`. "++
"See also :ghc-flag:`-Wtyped-holes`."
, flagType = DynamicFlag
, flagReverse = "-fno-defer-typed-holes"
}
......@@ -274,8 +274,8 @@ warningsOptions =
, flag { flagName = "-Wunused-binds"
, flagDescription =
"warn about bindings that are unused. Alias for "++
":ghc-flag:`Wunused-top-binds`, :ghc-flag:`Wunused-local-binds` and "++
":ghc-flag:`Wunused-pattern-binds`"
":ghc-flag:`-Wunused-top-binds`, :ghc-flag:`-Wunused-local-binds` and "++
":ghc-flag:`-Wunused-pattern-binds`"
, flagType = DynamicFlag
, flagReverse = "-Wno-unused-binds"
}
......@@ -336,7 +336,7 @@ warningsOptions =
"Should be used to check the safety status of modules when using "++
"safe inference. Works on all module types, even those using "++
"explicit :ref:`Safe Haskell <safe-haskell>` modes (such as "++
":ghc-flag:`XTrustworthy`) and so can be used to have the compiler check "++
":ghc-flag:`-XTrustworthy`) and so can be used to have the compiler check "++
"any assumptions made."
, flagType = DynamicFlag
, flagReverse = "-Wno-unsafe"
......@@ -347,7 +347,7 @@ warningsOptions =
"be used to check the safety status of modules when using safe "++
"inference. Works on all module types, even those using explicit "++
":ref:`Safe Haskell <safe-haskell>` modes (such as "++
":ghc-flag:`XTrustworthy`) and so can be used to have the compiler check "++
":ghc-flag:`-XTrustworthy`) and so can be used to have the compiler check "++
"any assumptions made."
, flagType = DynamicFlag
, flagReverse = "-Wno-safe"
......@@ -355,8 +355,8 @@ warningsOptions =
, flag { flagName = "-Wtrustworthy-safe"
, flagDescription =
"warn if the module being compiled is marked as "++
":ghc-flag:`XTrustworthy` but it could instead be marked as "++
":ghc-flag:`XSafe`, a more informative bound. Can be used to detect"++
":ghc-flag:`-XTrustworthy` but it could instead be marked as "++
":ghc-flag:`-XSafe`, a more informative bound. Can be used to detect"++
"once a Safe Haskell bound can be improved as dependencies are updated."
, flagType = DynamicFlag
, flagReverse = "-Wno-safe"
......@@ -386,7 +386,7 @@ warningsOptions =
, flagDescription =
"Report warnings when :ref:`deferred type errors "++
"<defer-type-errors>` are enabled. This option is enabled by "++
"default. See :ghc-flag:`fdefer-type-errors`."
"default. See :ghc-flag:`-fdefer-type-errors`."
, flagType = DynamicFlag
, flagReverse = "-Wno-deferred-type-errors"
}
......@@ -394,15 +394,15 @@ warningsOptions =
, flagDescription =
"Report warnings when :ref:`typed hole <typed-holes>` errors are "++
":ref:`deferred until runtime <defer-type-errors>`. See "++
":ghc-flag:`fdefer-typed-holes`."
":ghc-flag:`-fdefer-typed-holes`."
, flagType = DynamicFlag