hls-tactics-plugin 1.5.0.0 → 1.5.0.1

raw patch · 3 files changed

+6/−6 lines, 3 files

Files

• hls-tactics-plugin.cabal +2/−2
• src/Wingman/Metaprogramming/Parser/Documentation.hs +2/−2
• src/Wingman/Metaprogramming/ProofState.hs +2/−2

@@ -1,7 +1,7 @@ cabal-version:      2.4 category:           Development name:               hls-tactics-plugin-version:            1.5.0.0+version:            1.5.0.1 synopsis:           Wingman plugin for Haskell Language Server description:   Please see the README on GitHub at <https://github.com/haskell/haskell-language-server#readme>@@ -82,7 +82,7 @@     , ghc-boot-th     , ghc-exactprint     , ghc-source-gen        ^>=0.4.1-    , ghcide                ^>=1.4.1 || ^>=1.5+    , ghcide                ^>=1.5.0     , hls-graph     , hls-plugin-api        >=1.1     && <1.3     , hyphenation

@@ -6,8 +6,8 @@ import           Data.List (sortOn) import           Data.String (IsString) import           Data.Text (Text)-import           Prettyprinter hiding (parens)-import           Prettyprinter.Render.String (renderString)+import           Data.Text.Prettyprint.Doc hiding (parens)+import           Data.Text.Prettyprint.Doc.Render.String (renderString) import           Development.IDE.GHC.Compat (OccName) import qualified Text.Megaparsec as P import           Wingman.Metaprogramming.Lexer (Parser, identifier, variable, parens)

@@ -6,8 +6,8 @@ import           Data.Bool (bool) import           Data.Functor ((<&>)) import qualified Data.Text as T-import           Prettyprinter-import           Prettyprinter.Render.Util.Panic+import           Data.Text.Prettyprint.Doc+import           Data.Text.Prettyprint.Doc.Render.Util.Panic import           Language.LSP.Types (sectionSeparator) import           Wingman.Judgements (jHypothesis) import           Wingman.Types