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