1cabal-version:      2.4
2category:           Development
3name:               hls-tactics-plugin
4version:            1.4.0.0
5synopsis:           Wingman plugin for Haskell Language Server
6description:
7  Please see the README on GitHub at <https://github.com/haskell/haskell-language-server#readme>
8author:             Sandy Maguire, Reed Mullanix
9maintainer:         sandy@sandymaguire.me
10copyright:          Sandy Maguire, Reed Mullanix
11homepage:           https://haskellwingman.dev
12bug-reports:        https://github.com/haskell/haskell-language-server/issues
13license:            Apache-2.0
14license-file:       LICENSE
15build-type:         Simple
16extra-source-files:
17  README.md
18  test/golden/*.cabal
19  test/golden/*.hs
20  test/golden/*.yaml
21
22flag pedantic
23  description: Enable -Werror
24  default:     False
25  manual:      True
26
27library
28  hs-source-dirs:     src
29  exposed-modules:
30    Ide.Plugin.Tactic
31    Refinery.Future
32    Wingman.AbstractLSP
33    Wingman.AbstractLSP.TacticActions
34    Wingman.AbstractLSP.Types
35    Wingman.Auto
36    Wingman.CaseSplit
37    Wingman.CodeGen
38    Wingman.CodeGen.Utils
39    Wingman.Context
40    Wingman.Debug
41    Wingman.EmptyCase
42    Wingman.GHC
43    Wingman.Judgements
44    Wingman.Judgements.SYB
45    Wingman.Judgements.Theta
46    Wingman.KnownStrategies
47    Wingman.KnownStrategies.QuickCheck
48    Wingman.LanguageServer
49    Wingman.LanguageServer.Metaprogram
50    Wingman.LanguageServer.TacticProviders
51    Wingman.Machinery
52    Wingman.Metaprogramming.Lexer
53    Wingman.Metaprogramming.Parser
54    Wingman.Metaprogramming.Parser.Documentation
55    Wingman.Metaprogramming.ProofState
56    Wingman.Naming
57    Wingman.Plugin
58    Wingman.Range
59    Wingman.Simplify
60    Wingman.StaticPlugin
61    Wingman.Tactics
62    Wingman.Types
63
64  ghc-options:
65    -Wall -Wno-name-shadowing -Wredundant-constraints
66    -Wno-unticked-promoted-constructors
67
68  if flag(pedantic)
69    ghc-options: -Werror
70
71  build-depends:
72    , aeson
73    , base                  >=4.12    && <5
74    , containers
75    , deepseq
76    , directory
77    , extra                 >=1.7.8
78    , filepath
79    , fingertree
80    , generic-lens
81    , ghc
82    , ghc-boot-th
83    , ghc-exactprint
84    , ghc-source-gen        ^>=0.4.1
85    , ghcide                ^>=1.4.1
86    , hls-graph
87    , hls-plugin-api        >=1.1     && <1.3
88    , hyphenation
89    , lens
90    , lsp
91    , megaparsec            >=8       && <10
92    , mtl
93    , parser-combinators
94    , prettyprinter
95    , refinery              ^>=0.4
96    , retrie                >=0.1.1.0
97    , syb
98    , unagi-chan
99    , text
100    , transformers
101    , unordered-containers
102
103  default-language:   Haskell2010
104  default-extensions:
105    DataKinds
106    DeriveAnyClass
107    DeriveDataTypeable
108    DeriveFoldable
109    DeriveFunctor
110    DeriveGeneric
111    DeriveTraversable
112    DerivingStrategies
113    DerivingVia
114    FlexibleContexts
115    FlexibleInstances
116    GADTs
117    GeneralizedNewtypeDeriving
118    LambdaCase
119    MultiParamTypeClasses
120    NumDecimals
121    OverloadedLabels
122    PatternSynonyms
123    ScopedTypeVariables
124    TypeApplications
125    TypeOperators
126    ViewPatterns
127
128test-suite tests
129  type:               exitcode-stdio-1.0
130  main-is:            Main.hs
131  other-modules:
132    AutoTupleSpec
133    CodeAction.AutoSpec
134    CodeAction.DestructAllSpec
135    CodeAction.DestructPunSpec
136    CodeAction.DestructSpec
137    CodeAction.IntrosSpec
138    CodeAction.IntroDestructSpec
139    CodeAction.RefineSpec
140    CodeAction.RunMetaprogramSpec
141    CodeAction.UseDataConSpec
142    CodeLens.EmptyCaseSpec
143    ProviderSpec
144    Spec
145    UnificationSpec
146    Utils
147
148  hs-source-dirs:     test
149  ghc-options:
150    -Wall -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N
151
152  build-depends:
153    , aeson
154    , base
155    , containers
156    , deepseq
157    , directory
158    , filepath
159    , ghc
160    , ghcide
161    , hls-plugin-api
162    , hls-tactics-plugin
163    , hls-test-utils      >=1.0 && <1.2
164    , hspec
165    , hspec-expectations
166    , lens
167    , lsp-types
168    , mtl
169    , QuickCheck
170    , tasty-hspec
171    , tasty-hunit
172    , text
173
174  build-tool-depends: hspec-discover:hspec-discover -any
175  default-language:   Haskell2010
176