diff options
author | Alfredo Di Napoli <alfredo@well-typed.com> | 2021-07-06 10:08:46 +0200 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-07-09 08:46:44 -0400 |
commit | 1e8055175cbb63e06540610a0452906981584e6b (patch) | |
tree | 24ae0130c3e025a1986365e81f25d3133b2a609e /compiler/GHC/Types | |
parent | 558724237b978ab2293a62ee48fe2b2f603a6791 (diff) | |
download | haskell-1e8055175cbb63e06540610a0452906981584e6b.tar.gz |
Add TcRnSimplifierTooManyIterations to TcRnMessage
Diffstat (limited to 'compiler/GHC/Types')
-rw-r--r-- | compiler/GHC/Types/Hint.hs | 5 | ||||
-rw-r--r-- | compiler/GHC/Types/Hint/Ppr.hs | 2 |
2 files changed, 7 insertions, 0 deletions
diff --git a/compiler/GHC/Types/Hint.hs b/compiler/GHC/Types/Hint.hs index 475e0ee6fb..883bfa4af4 100644 --- a/compiler/GHC/Types/Hint.hs +++ b/compiler/GHC/Types/Hint.hs @@ -116,6 +116,11 @@ data GhcHint | SuggestAddPhaseToCompetingRule !RuleName + {-| Suggests increasing the limit for the number of iterations in the simplifier. + + -} + | SuggestIncreaseSimplifierIterations + -- | An 'InstantiationSuggestion' for a '.hsig' file. This is generated -- by GHC in case of a 'DriverUnexpectedSignature' and suggests a way -- to instantiate a particular signature, where the first argument is diff --git a/compiler/GHC/Types/Hint/Ppr.hs b/compiler/GHC/Types/Hint/Ppr.hs index ad8c614c16..e8558b854f 100644 --- a/compiler/GHC/Types/Hint/Ppr.hs +++ b/compiler/GHC/Types/Hint/Ppr.hs @@ -61,6 +61,8 @@ instance Outputable GhcHint where SuggestAddPhaseToCompetingRule bad_rule -> vcat [ text "Add phase [n] or [~n] to the competing rule" , whenPprDebug (ppr bad_rule) ] + SuggestIncreaseSimplifierIterations + -> text "Set limit with -fconstraint-solver-iterations=n; n=0 for no limit" perhapsAsPat :: SDoc perhapsAsPat = text "Perhaps you meant an as-pattern, which must not be surrounded by whitespace" |