hls-tactics-plugin 1.8.0.0 → 1.8.1.0

raw patch · 3 files changed

+6/−5 lines, 3 filesdep ~ghcidedep ~hls-test-utils

Dependency ranges changed: ghcide, hls-test-utils

Files

• hls-tactics-plugin.cabal +3/−3
• new/test/Utils.hs +1/−1
• old/test/Utils.hs +2/−1

@@ -1,7 +1,7 @@ cabal-version:      2.4 category:           Development name:               hls-tactics-plugin-version:            1.8.0.0+version:            1.8.1.0 synopsis:           Wingman plugin for Haskell Language Server description:   Please see the README on GitHub at <https://github.com/haskell/haskell-language-server#readme>@@ -99,7 +99,7 @@     , ghc-boot-th     , ghc-exactprint     , ghc-source-gen        ^>=0.4.1-    , ghcide                ^>= 1.9+    , ghcide                ^>= 1.9 || ^>= 1.10     , hls-graph     , hls-plugin-api        ^>=1.6     , hls-refactor-plugin@@ -185,7 +185,7 @@     , ghcide     , hls-plugin-api     , hls-tactics-plugin-    , hls-test-utils      ^>=1.5+    , hls-test-utils      ^>=1.6     , hspec     , hspec-expectations     , lens

@@ -63,7 +63,7 @@ runSessionForTactics :: Session a -> IO a runSessionForTactics =   runSessionWithServer'-    [plugin]+    (IdePlugins [plugin])     def     (def { messageTimeout = 20 } )     fullCaps

@@ -22,6 +22,7 @@ import qualified Data.Text as T import qualified Data.Text.IO as T import           Ide.Plugin.Tactic as Tactic+import           Ide.Types (IdePlugins(..)) import           Language.LSP.Types import           Language.LSP.Types.Lens hiding (actions, applyEdit, capabilities, executeCommand, id, line, message, name, rename, title) import qualified Language.LSP.Types.Lens as J@@ -64,7 +65,7 @@ runSessionForTactics act = do   recorder <- pluginTestRecorder   runSessionWithServer'-    [plugin recorder]+    (plugin recorder)     def     (def { messageTimeout = 20 } )     fullCaps