Docs: fix links to ghc-flags
[ghc.git] / utils / mkUserGuidePart / Options / Verbosity.hs
1 module Options.Verbosity where
2
3 import Types
4
5 verbosityOptions :: [Flag]
6 verbosityOptions =
7 [ flag { flagName = "-v"
8 , flagDescription = "verbose mode (equivalent to ``-v3``)"
9 , flagType = DynamicFlag
10 }
11 , flag { flagName = "-v⟨n⟩"
12 , flagDescription = "set verbosity level"
13 , flagType = DynamicFlag
14 , flagReverse = ""
15 }
16 , flag { flagName = "-fprint-potential-instances"
17 , flagDescription =
18 "display all available instances in type error messages"
19 , flagType = DynamicFlag
20 , flagReverse = "-fno-print-potential-instances"
21 }
22 , flag { flagName = "-fprint-explicit-foralls"
23 , flagDescription =
24 "Print explicit ``forall`` quantification in types. " ++
25 "See also :ghc-flag:`-XExplicitForAll`"
26 , flagType = DynamicFlag
27 , flagReverse = "-fno-print-explicit-foralls"
28 }
29 , flag { flagName = "-fprint-explicit-kinds"
30 , flagDescription =
31 "Print explicit kind foralls and kind arguments in types. " ++
32 "See also :ghc-flag:`-XKindSignature`"
33 , flagType = DynamicFlag
34 , flagReverse = "-fno-print-explicit-kinds"
35 }
36 , flag { flagName = "-fprint-explicit-runtime-reps"
37 , flagDescription =
38 "Print ``RuntimeRep`` variables in types which are "++
39 "runtime-representation polymorphic."
40 , flagType = DynamicFlag
41 , flagReverse = "-fno-print-explicit-runtime-reps"
42 }
43 , flag { flagName = "-fprint-unicode-syntax"
44 , flagDescription =
45 "Use unicode syntax when printing expressions, types and kinds. " ++
46 "See also :ghc-flag:`-XUnicodeSyntax`"
47 , flagType = DynamicFlag
48 , flagReverse = "-fno-print-unicode-syntax"
49 }
50 , flag { flagName = "-fprint-expanded-synonyms"
51 , flagDescription =
52 "In type errors, also print type-synonym-expanded types."
53 , flagType = DynamicFlag
54 , flagReverse = "-fno-print-expanded-synonyms"
55 }
56 , flag { flagName = "-fprint-typechecker-elaboration"
57 , flagDescription =
58 "Print extra information from typechecker."
59 , flagType = DynamicFlag
60 , flagReverse = "-fno-print-typechecker-elaboration"
61 }
62 , flag { flagName = "-ferror-spans"
63 , flagDescription = "Output full span in error messages"
64 , flagType = DynamicFlag
65 }
66 , flag { flagName = "-Rghc-timing"
67 , flagDescription =
68 "Summarise timing stats for GHC (same as ``+RTS -tstderr``)."
69 , flagType = DynamicFlag
70 }
71 ]