Add -fprint-typechecker-elaboration flag (fixes #10662)
[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 ``-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 ``-XKindSignature``"
33 , flagType = DynamicFlag
34 , flagReverse = "-fno-print-explicit-kinds"
35 }
36 , flag { flagName = "-fprint-unicode-syntax"
37 , flagDescription =
38 "Use unicode syntax when printing expressions, types and kinds. " ++
39 "See also ``-XUnicodeSyntax``"
40 , flagType = DynamicFlag
41 , flagReverse = "-fno-print-unicode-syntax"
42 }
43 , flag { flagName = "-fprint-expanded-synonyms"
44 , flagDescription =
45 "In type errors, also print type-synonym-expanded types."
46 , flagType = DynamicFlag
47 , flagReverse = "-fno-print-expanded-synonyms"
48 }
49 , flag { flagName = "-fprint-typechecker-elaboration"
50 , flagDescription =
51 "Print extra information from typechecker."
52 , flagType = DynamicFlag
53 , flagReverse = "-fno-print-typechecker-elaboration"
54 }
55 , flag { flagName = "-ferror-spans"
56 , flagDescription = "Output full span in error messages"
57 , flagType = DynamicFlag
58 }
59 , flag { flagName = "-Rghc-timing"
60 , flagDescription =
61 "Summarise timing stats for GHC (same as ``+RTS -tstderr``)."
62 , flagType = DynamicFlag
63 }
64 ]