Skip to content

Commit c35ce77

Browse files
committed
Rename tactics
1 parent 3a4e9b3 commit c35ce77

30 files changed

+12
-12
lines changed

cabal.project

+1-1
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ packages:
44
./shake-bench
55
./ghcide
66
./hls-plugin-api
7-
./plugins/tactics
7+
./plugins/hls-tactics-plugin
88
./plugins/hls-class-plugin
99
./plugins/hls-eval-plugin
1010
./plugins/hls-explicit-imports-plugin

haskell-language-server.cabal

+1-1
Original file line numberDiff line numberDiff line change
@@ -414,7 +414,7 @@ test-suite func-test
414414
, tasty-rerun
415415
, ghcide
416416

417-
hs-source-dirs: test/functional plugins/tactics/src plugins/hls-eval-plugin/test plugins/hls-splice-plugin/src
417+
hs-source-dirs: test/functional plugins/hls-tactics-plugin/src plugins/hls-eval-plugin/test plugins/hls-splice-plugin/src
418418

419419
main-is: Main.hs
420420
other-modules:

nix/default.nix

+1-1
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,7 @@ let
2727
hls-hlint-plugin = gitignoreSource ../plugins/hls-hlint-plugin;
2828
hls-retrie-plugin = gitignoreSource ../plugins/hls-retrie-plugin;
2929
hls-splice-plugin = gitignoreSource ../plugins/hls-splice-plugin;
30-
hls-tactics-plugin = gitignoreSource ../plugins/tactics;
30+
hls-tactics-plugin = gitignoreSource ../plugins/hls-tactics-plugin;
3131
});
3232
in
3333
{

stack-8.10.1.yaml

+1-1
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ packages:
1313
- ./plugins/hls-hlint-plugin
1414
- ./plugins/hls-retrie-plugin
1515
- ./plugins/hls-splice-plugin
16-
- ./plugins/tactics
16+
- ./plugins/hls-tactics-plugins
1717

1818
ghc-options:
1919
"$everything": -haddock

stack-8.10.2.yaml

+1-1
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ packages:
1313
- ./plugins/hls-hlint-plugin
1414
- ./plugins/hls-retrie-plugin
1515
- ./plugins/hls-splice-plugin
16-
- ./plugins/tactics
16+
- ./plugins/hls-tactics-plugins
1717

1818
ghc-options:
1919
"$everything": -haddock

stack-8.10.3.yaml

+1-1
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ packages:
1313
- ./plugins/hls-hlint-plugin
1414
- ./plugins/hls-retrie-plugin
1515
- ./plugins/hls-splice-plugin
16-
- ./plugins/tactics
16+
- ./plugins/hls-tactics-plugins
1717

1818
ghc-options:
1919
"$everything": -haddock

stack-8.6.4.yaml

+1-1
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ packages:
1414
- ./plugins/hls-hlint-plugin
1515
- ./plugins/hls-retrie-plugin
1616
- ./plugins/hls-splice-plugin
17-
- ./plugins/tactics
17+
- ./plugins/hls-tactics-plugins
1818

1919
ghc-options:
2020
"$everything": -haddock

stack-8.6.5.yaml

+1-1
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ packages:
1313
- ./plugins/hls-hlint-plugin
1414
- ./plugins/hls-retrie-plugin
1515
- ./plugins/hls-splice-plugin
16-
- ./plugins/tactics
16+
- ./plugins/hls-tactics-plugins
1717

1818
ghc-options:
1919
"$everything": -haddock

stack-8.8.2.yaml

+1-1
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ packages:
1313
- ./plugins/hls-hlint-plugin
1414
- ./plugins/hls-retrie-plugin
1515
- ./plugins/hls-splice-plugin
16-
- ./plugins/tactics
16+
- ./plugins/hls-tactics-plugins
1717

1818
ghc-options:
1919
"$everything": -haddock

stack-8.8.3.yaml

+1-1
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ packages:
1313
- ./plugins/hls-hlint-plugin
1414
- ./plugins/hls-retrie-plugin
1515
- ./plugins/hls-splice-plugin
16-
- ./plugins/tactics
16+
- ./plugins/hls-tactics-plugins
1717

1818
ghc-options:
1919
"$everything": -haddock

stack-8.8.4.yaml

+1-1
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ packages:
1313
- ./plugins/hls-hlint-plugin
1414
- ./plugins/hls-retrie-plugin
1515
- ./plugins/hls-splice-plugin
16-
- ./plugins/tactics
16+
- ./plugins/hls-tactics-plugins
1717

1818
ghc-options:
1919
"$everything": -haddock

stack.yaml

+1-1
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ packages:
1313
- ./plugins/hls-hlint-plugin
1414
- ./plugins/hls-retrie-plugin
1515
- ./plugins/hls-splice-plugin
16-
- ./plugins/tactics
16+
- ./plugins/hls-tactics-plugins
1717

1818
ghc-options:
1919
"$everything": -haddock

0 commit comments

Comments
 (0)