diff options
Diffstat (limited to 'utils')
| -rw-r--r-- | utils/mkUserGuidePart/Options/Verbosity.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/utils/mkUserGuidePart/Options/Verbosity.hs b/utils/mkUserGuidePart/Options/Verbosity.hs index 8a29d71b75..c187781c06 100644 --- a/utils/mkUserGuidePart/Options/Verbosity.hs +++ b/utils/mkUserGuidePart/Options/Verbosity.hs @@ -64,6 +64,10 @@ verbosityOptions = , flagType = DynamicFlag , flagReverse = "-fno-print-typechecker-elaboration" } + , flag { flagName = "-fdiagnostics-color=(always|auto|never)" + , flagDescription = "Use colors in error messages" + , flagType = DynamicFlag + } , flag { flagName = "-ferror-spans" , flagDescription = "Output full span in error messages" , flagType = DynamicFlag |