Cabal revisions of hls-tactics-plugin-1.2.0.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-cabal-version: 2.4-category: Development-name: hls-tactics-plugin-version: 1.2.0.0-synopsis: Wingman plugin for Haskell Language Server-description: Please see README.md-author: Sandy Maguire, Reed Mullanix-maintainer: sandy@sandymaguire.me-copyright: Sandy Maguire, Reed Mullanix-homepage: https://haskellwingman.dev-bug-reports: https://github.com/haskell/haskell-language-server/issues-license: Apache-2.0-license-file: LICENSE-build-type: Simple-extra-source-files:- README.md- test/golden/*.cabal- test/golden/*.hs- test/golden/*.yaml--flag pedantic- description: Enable -Werror- default: False- manual: True--library- hs-source-dirs: src- exposed-modules:- Ide.Plugin.Tactic- Wingman.Auto- Wingman.CaseSplit- Wingman.CodeGen- Wingman.CodeGen.Utils- Wingman.Context- Wingman.Debug- Wingman.EmptyCase- Wingman.GHC- Wingman.Judgements- Wingman.Judgements.SYB- Wingman.Judgements.Theta- Wingman.KnownStrategies- Wingman.KnownStrategies.QuickCheck- Wingman.LanguageServer- Wingman.LanguageServer.Metaprogram- Wingman.LanguageServer.TacticProviders- Wingman.Machinery- Wingman.Metaprogramming.Lexer- Wingman.Metaprogramming.Parser- Wingman.Metaprogramming.Parser.Documentation- Wingman.Metaprogramming.ProofState- Wingman.Naming- Wingman.Plugin- Wingman.Range- Wingman.Simplify- Wingman.StaticPlugin- Wingman.Tactics- Wingman.Types-- ghc-options:- -Wall -Wno-name-shadowing -Wredundant-constraints- -Wno-unticked-promoted-constructors-- if flag(pedantic)- ghc-options: -Werror-- build-depends:- , aeson- , base >=4.12 && <5- , containers- , deepseq- , directory- , extra- , filepath- , fingertree- , generic-lens- , ghc- , ghc-boot-th- , ghc-exactprint- , ghc-source-gen- , ghcide ^>=1.4- , hls-graph- , hls-plugin-api ^>=1.1- , hyphenation- , lens- , lsp- , megaparsec ^>=9- , mtl- , parser-combinators- , prettyprinter- , refinery ^>=0.3- , retrie >=0.1.1.0- , syb- , text- , transformers- , unordered-containers-- default-language: Haskell2010- default-extensions:- DataKinds- DeriveAnyClass- DeriveDataTypeable- DeriveFoldable- DeriveFunctor- DeriveGeneric- DeriveTraversable- DerivingStrategies- DerivingVia- FlexibleContexts- FlexibleInstances- GADTs- GeneralizedNewtypeDeriving- LambdaCase- MultiParamTypeClasses- NumDecimals- OverloadedLabels- PatternSynonyms- ScopedTypeVariables- TypeApplications- TypeOperators- ViewPatterns--test-suite tests- type: exitcode-stdio-1.0- main-is: Main.hs- other-modules:- AutoTupleSpec- CodeAction.AutoSpec- CodeAction.DestructAllSpec- CodeAction.DestructPunSpec- CodeAction.DestructSpec- CodeAction.IntrosSpec- CodeAction.RefineSpec- CodeAction.RunMetaprogramSpec- CodeAction.UseDataConSpec- CodeLens.EmptyCaseSpec- ProviderSpec- Spec- UnificationSpec- Utils-- hs-source-dirs: test- ghc-options:- -Wall -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N-- build-depends:- , aeson- , base- , containers- , deepseq- , directory- , filepath- , ghc- , ghcide- , hls-plugin-api- , hls-tactics-plugin- , hls-test-utils ^>=1.0- , hspec- , hspec-expectations- , lens- , lsp-types- , mtl- , QuickCheck- , tasty-hspec- , tasty-hunit- , text-- build-tool-depends: hspec-discover:hspec-discover -any- default-language: Haskell2010+cabal-version: 2.4 +category: Development +name: hls-tactics-plugin +version: 1.2.0.0 +x-revision: 1 +synopsis: Wingman plugin for Haskell Language Server +description: Please see README.md +author: Sandy Maguire, Reed Mullanix +maintainer: sandy@sandymaguire.me +copyright: Sandy Maguire, Reed Mullanix +homepage: https://haskellwingman.dev +bug-reports: https://github.com/haskell/haskell-language-server/issues +license: Apache-2.0 +license-file: LICENSE +build-type: Simple +extra-source-files: + README.md + test/golden/*.cabal + test/golden/*.hs + test/golden/*.yaml + +flag pedantic + description: Enable -Werror + default: False + manual: True + +library + hs-source-dirs: src + exposed-modules: + Ide.Plugin.Tactic + Wingman.Auto + Wingman.CaseSplit + Wingman.CodeGen + Wingman.CodeGen.Utils + Wingman.Context + Wingman.Debug + Wingman.EmptyCase + Wingman.GHC + Wingman.Judgements + Wingman.Judgements.SYB + Wingman.Judgements.Theta + Wingman.KnownStrategies + Wingman.KnownStrategies.QuickCheck + Wingman.LanguageServer + Wingman.LanguageServer.Metaprogram + Wingman.LanguageServer.TacticProviders + Wingman.Machinery + Wingman.Metaprogramming.Lexer + Wingman.Metaprogramming.Parser + Wingman.Metaprogramming.Parser.Documentation + Wingman.Metaprogramming.ProofState + Wingman.Naming + Wingman.Plugin + Wingman.Range + Wingman.Simplify + Wingman.StaticPlugin + Wingman.Tactics + Wingman.Types + + ghc-options: + -Wall -Wno-name-shadowing -Wredundant-constraints + -Wno-unticked-promoted-constructors + + if flag(pedantic) + ghc-options: -Werror + + build-depends: + , aeson + , base >=4.12 && <5 + , containers + , deepseq + , directory + , extra >=1.7.9 + , filepath + , fingertree + , generic-lens + , ghc + , ghc-boot-th + , ghc-exactprint + , ghc-source-gen + , ghcide ^>=1.4 + , hls-graph + , hls-plugin-api ^>=1.1 + , hyphenation + , lens + , lsp + , megaparsec >=8 && < 10 + , mtl + , parser-combinators + , prettyprinter + , refinery ^>=0.3 + , retrie >=0.1.1.0 + , syb + , text + , transformers + , unordered-containers + + default-language: Haskell2010 + default-extensions: + DataKinds + DeriveAnyClass + DeriveDataTypeable + DeriveFoldable + DeriveFunctor + DeriveGeneric + DeriveTraversable + DerivingStrategies + DerivingVia + FlexibleContexts + FlexibleInstances + GADTs + GeneralizedNewtypeDeriving + LambdaCase + MultiParamTypeClasses + NumDecimals + OverloadedLabels + PatternSynonyms + ScopedTypeVariables + TypeApplications + TypeOperators + ViewPatterns + +test-suite tests + type: exitcode-stdio-1.0 + main-is: Main.hs + other-modules: + AutoTupleSpec + CodeAction.AutoSpec + CodeAction.DestructAllSpec + CodeAction.DestructPunSpec + CodeAction.DestructSpec + CodeAction.IntrosSpec + CodeAction.RefineSpec + CodeAction.RunMetaprogramSpec + CodeAction.UseDataConSpec + CodeLens.EmptyCaseSpec + ProviderSpec + Spec + UnificationSpec + Utils + + hs-source-dirs: test + ghc-options: + -Wall -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N + + build-depends: + , aeson + , base + , containers + , deepseq + , directory + , filepath + , ghc + , ghcide + , hls-plugin-api + , hls-tactics-plugin + , hls-test-utils ^>=1.0 + , hspec + , hspec-expectations + , lens + , lsp-types + , mtl + , QuickCheck + , tasty-hspec + , tasty-hunit + , text + + build-tool-depends: hspec-discover:hspec-discover -any + default-language: Haskell2010
revision 2
category: Development name: hls-tactics-plugin version: 1.2.0.0 -x-revision: 1 +x-revision: 2 synopsis: Wingman plugin for Haskell Language Server description: Please see README.md author: Sandy Maguire, Reed Mullanix , containers , deepseq , directory - , extra >=1.7.9 + , extra >=1.7.8 , filepath , fingertree , generic-lens