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 bbcaf3c8e2..c67fa74b8b 100644 --- a/utils/mkUserGuidePart/Options/Verbosity.hs +++ b/utils/mkUserGuidePart/Options/Verbosity.hs @@ -77,4 +77,8 @@ verbosityOptions = "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 + } ] |