forked from haskell/haskell-language-server
-
Notifications
You must be signed in to change notification settings - Fork 2
/
hls-tactics-plugin.cabal
150 lines (141 loc) · 3.48 KB
/
hls-tactics-plugin.cabal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
cabal-version: 2.2
category: Development
name: hls-tactics-plugin
version: 1.0.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
-- ChangeLog.md
flag pedantic
description: Enable -Werror
default: False
manual: True
library
hs-source-dirs: src
exposed-modules:
Ide.Plugin.Tactic
Ide.Plugin.Tactic.Auto
Ide.Plugin.Tactic.CaseSplit
Ide.Plugin.Tactic.CodeGen
Ide.Plugin.Tactic.CodeGen.Utils
Ide.Plugin.Tactic.Context
Ide.Plugin.Tactic.Debug
Ide.Plugin.Tactic.FeatureSet
Ide.Plugin.Tactic.GHC
Ide.Plugin.Tactic.Judgements
Ide.Plugin.Tactic.Judgements.Theta
Ide.Plugin.Tactic.KnownStrategies
Ide.Plugin.Tactic.KnownStrategies.QuickCheck
Ide.Plugin.Tactic.LanguageServer
Ide.Plugin.Tactic.LanguageServer.TacticProviders
Ide.Plugin.Tactic.Machinery
Ide.Plugin.Tactic.Naming
Ide.Plugin.Tactic.Range
Ide.Plugin.Tactic.Simplify
Ide.Plugin.Tactic.Tactics
Ide.Plugin.Tactic.Types
ghc-options:
-Wno-name-shadowing -Wredundant-constraints -Wno-unticked-promoted-constructors
if flag(pedantic)
ghc-options: -Werror
build-depends:
, aeson
, base >=4.12 && <5
, containers
, directory
, extra
, filepath
, fingertree
, generic-lens
, ghc
, ghc-boot-th
, ghc-exactprint
, ghc-source-gen
, ghcide ^>= 1.0.0.0
, lsp
, hls-plugin-api ^>= 1.0.0.0
, lens
, mtl
, refinery ^>=0.3
, retrie >=0.1.1.0
, shake >=0.17.5
, syb
, text
, transformers
, deepseq
default-language: Haskell2010
default-extensions: DataKinds, TypeOperators
executable test-server
default-language: Haskell2010
build-depends:
, base
, data-default
, ghcide
, hls-tactics-plugin
, hls-plugin-api
, shake
main-is: Server.hs
hs-source-dirs: test
ghc-options:
"-with-rtsopts=-I0 -A128M"
-threaded -Wall -Wno-name-shadowing -Wredundant-constraints
test-suite tests
type: exitcode-stdio-1.0
main-is: Main.hs
other-modules:
AutoTupleSpec
CodeAction.AutoSpec
CodeAction.DestructAllSpec
CodeAction.RefineSpec
CodeAction.DestructSpec
CodeAction.IntrosSpec
CodeAction.UseDataConSpec
ProviderSpec
UnificationSpec
Utils
hs-source-dirs:
test
ghc-options: -Wall -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N
build-depends:
QuickCheck
, aeson
, base
, bytestring
, checkers
, containers
, data-default
, deepseq
, directory
, filepath
, ghc
, ghcide >= 0.7.5.0
, hie-bios
, hls-plugin-api
, hls-tactics-plugin
, hspec
, hspec-expectations
, lens
, lsp-test
, lsp-types
, megaparsec
, mtl
, tasty
, tasty-ant-xml >=1.1.6
, tasty-expected-failure
, tasty-golden
, tasty-hunit
, tasty-rerun
, text
build-tool-depends:
hspec-discover:hspec-discover
, hls-tactics-plugin:test-server -any
default-language: Haskell2010