From 5e0e798c2dc4ec10b6b57cec3deb269a90a11a07 Mon Sep 17 00:00:00 2001 From: Pepe Iborra Date: Sat, 1 Aug 2020 15:37:14 +0100 Subject: [PATCH] Fix comment out of place --- src/Ide/Plugin.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Ide/Plugin.hs b/src/Ide/Plugin.hs index 6077c0e91f..a9745345a3 100644 --- a/src/Ide/Plugin.hs +++ b/src/Ide/Plugin.hs @@ -332,9 +332,6 @@ makeExecuteCommands ecs lf ide = wrapUnhandledExceptions $ do -} -- ----------------------------------------------------------- - --- | Runs a plugin command given a PluginId, CommandId and --- arguments in the form of a JSON object. wrapUnhandledExceptions :: (a -> IO (Either ResponseError J.Value, Maybe b)) -> a -> IO (Either ResponseError J.Value, Maybe b) @@ -343,6 +340,9 @@ wrapUnhandledExceptions action input = let resp = ResponseError InternalError (T.pack $ show e) Nothing return (Left resp, Nothing) + +-- | Runs a plugin command given a PluginId, CommandId and +-- arguments in the form of a JSON object. runPluginCommand :: Map.Map PluginId [PluginCommand] -> LSP.LspFuncs Config -> IdeState