We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 990428f commit 0d9bb43Copy full SHA for 0d9bb43
plugins/hls-refactor-plugin/src/Development/IDE/Plugin/Plugins/FillHole.hs
@@ -69,7 +69,8 @@ processHoleSuggestions mm = (holeSuggestions, refSuggestions)
69
(mrAfter . (=~ t " *Valid (hole fits|substitutions) include"))
70
validHolesSection
71
let holeFit = T.strip $ T.takeWhile (/= ':') holeFitLine
72
- guard (not $ T.null holeFit)
+ guard $ not $ holeFit =~ t "Some hole fits suppressed"
73
+ guard $ not $ T.null holeFit
74
return holeFit
75
refSuggestions = do -- @[]
76
-- get the text indented under Valid refinement hole fits
0 commit comments