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 c8e84c6 commit bf764a1Copy full SHA for bf764a1
plugins/hls-overloaded-record-dot-plugin/src/Ide/Plugin/OverloadedRecordDot.hs
@@ -136,7 +136,7 @@ codeActionProvider :: PluginMethodHandler IdeState 'TextDocumentCodeAction
136
codeActionProvider ideState pId (CodeActionParams _ _ caDocId caRange _) = pluginResponse $ do
137
nfp <- getNormalizedFilePath (caDocId ^. L.uri)
138
pragma <- getFirstPragma pId ideState nfp
139
- CCRSR crsMap (map unExt -> exts) <- collectConvRecSels' ideState nfp
+ CCRSR crsMap (coerce -> exts) <- collectConvRecSels' ideState nfp
140
let actions = map (mkCodeAction nfp exts pragma) (RangeMap.filterByRange caRange crsMap)
141
pure $ List actions
142
where
0 commit comments