diff options
| author | Maciej Bielecki <zyla@prati.pl> | 2016-12-14 16:43:25 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-12-15 10:42:25 -0500 |
| commit | 0c3341b23e0672fb9c05d9f6ab0be76f411d526e (patch) | |
| tree | cc8fe826571b77b5d95665058b0a294caa27142f /utils | |
| parent | 52c5e55348170f27f5ef1cb010c4c96ab4aa47cc (diff) | |
| download | haskell-0c3341b23e0672fb9c05d9f6ab0be76f411d526e.tar.gz | |
Show constraints when reporting typed holes
This patch implements the display of constraints in the error message
for typed holes.
Test Plan: validate, read docs
Reviewers: simonpj, austin, bgamari
Reviewed By: simonpj, bgamari
Subscribers: simonpj, thomie
Differential Revision: https://phabricator.haskell.org/D2767
GHC Trac Issues: #10614
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 + } ] |