Skip to content

Commit 70dd76a

Browse files
committed
hls-refactor-plugin: Ignore "Some hole fits suppressed" message when valid hole fits are limited
1 parent 32a40ad commit 70dd76a

File tree

1 file changed

+2
-1
lines changed
  • plugins/hls-refactor-plugin/src/Development/IDE/Plugin/Plugins

1 file changed

+2
-1
lines changed

plugins/hls-refactor-plugin/src/Development/IDE/Plugin/Plugins/FillHole.hs

+2-1
Original file line numberDiff line numberDiff line change
@@ -69,7 +69,8 @@ processHoleSuggestions mm = (holeSuggestions, refSuggestions)
6969
(mrAfter . (=~ t " *Valid (hole fits|substitutions) include"))
7070
validHolesSection
7171
let holeFit = T.strip $ T.takeWhile (/= ':') holeFitLine
72-
guard (not $ T.null holeFit)
72+
guard $ not $ holeFit =~ t "Some hole fits suppressed"
73+
guard $ not $ T.null holeFit
7374
return holeFit
7475
refSuggestions = do -- @[]
7576
-- get the text indented under Valid refinement hole fits

0 commit comments

Comments
 (0)