ba58e6210ad6491df8297081e5081ac42a77caf9
[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 = "-fhide-source-paths"
17 , flagDescription = "hide module source and object paths"
18 , flagType = DynamicFlag
19 , flagReverse = ""
20 }
21 , flag { flagName = "-fprint-potential-instances"
22 , flagDescription =
23 "display all available instances in type error messages"
24 , flagType = DynamicFlag
25 , flagReverse = "-fno-print-potential-instances"
26 }
27 , flag { flagName = "-fprint-explicit-foralls"
28 , flagDescription =
29 "Print explicit ``forall`` quantification in types. " ++
30 "See also :ghc-flag:`-XExplicitForAll`"
31 , flagType = DynamicFlag
32 , flagReverse = "-fno-print-explicit-foralls"
33 }
34 , flag { flagName = "-fprint-explicit-kinds"
35 , flagDescription =
36 "Print explicit kind foralls and kind arguments in types. " ++
37 "See also :ghc-flag:`-XKindSignatures`"
38 , flagType = DynamicFlag
39 , flagReverse = "-fno-print-explicit-kinds"
40 }
41 , flag { flagName = "-fprint-explicit-runtime-reps"
42 , flagDescription =
43 "Print ``RuntimeRep`` variables in types which are "++
44 "runtime-representation polymorphic."
45 , flagType = DynamicFlag
46 , flagReverse = "-fno-print-explicit-runtime-reps"
47 }
48 , flag { flagName = "-fprint-unicode-syntax"
49 , flagDescription =
50 "Use unicode syntax when printing expressions, types and kinds. " ++
51 "See also :ghc-flag:`-XUnicodeSyntax`"
52 , flagType = DynamicFlag
53 , flagReverse = "-fno-print-unicode-syntax"
54 }
55 , flag { flagName = "-fprint-expanded-synonyms"
56 , flagDescription =
57 "In type errors, also print type-synonym-expanded types."
58 , flagType = DynamicFlag
59 , flagReverse = "-fno-print-expanded-synonyms"
60 }
61 , flag { flagName = "-fprint-typechecker-elaboration"
62 , flagDescription =
63 "Print extra information from typechecker."
64 , flagType = DynamicFlag
65 , flagReverse = "-fno-print-typechecker-elaboration"
66 }
67 , flag { flagName = "-fdiagnostics-color=(always|auto|never)"
68 , flagDescription = "Use colors in error messages"
69 , flagType = DynamicFlag
70 }
71 , flag { flagName = "-f[no-]diagnostics-show-caret"
72 , flagDescription = "Whether to show snippets of original source code"
73 , flagType = DynamicFlag
74 }
75 , flag { flagName = "-ferror-spans"
76 , flagDescription = "Output full span in error messages"
77 , flagType = DynamicFlag
78 }
79 , flag { flagName = "-Rghc-timing"
80 , flagDescription =
81 "Summarise timing stats for GHC (same as ``+RTS -tstderr``)."
82 , flagType = DynamicFlag
83 }
84 , flag { flagName = "-fshow-hole-constraints"
85 , flagDescription = "Show constraints when reporting typed holes"
86 , flagType = DynamicFlag
87 }
88 ]