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 b91d84a commit 689b7fcCopy full SHA for 689b7fc
plugins/hls-gadt-plugin/src/Ide/Plugin/GADT.hs
@@ -52,7 +52,7 @@ toGADTSyntaxCommandId = "GADT.toGADT"
52
53
-- | A command replaces H98 data decl with GADT decl in place
54
toGADTCommand :: PluginId -> CommandFunction IdeState ToGADTParams
55
-toGADTCommand plId state ToGADTParams{..} = response $ do
+toGADTCommand plId state ToGADTParams{..} = pluginResponse $ do
56
nfp <- getNormalizedFilePath plId uri
57
(decls, exts) <- getInRangeH98DeclsAndExts state range nfp
58
(L ann decl) <- case decls of
0 commit comments