Skip to content

Commit 1e88d16

Browse files
santiweightSantiago Weightmichaelpj
authored
wingman: move wingman to new directory (#3352)
Co-authored-by: Santiago Weight <[email protected]> Co-authored-by: Michael Peyton Jones <[email protected]>
1 parent 5dbbd85 commit 1e88d16

File tree

338 files changed

+6
-6
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

338 files changed

+6
-6
lines changed

plugins/hls-tactics-plugin/hls-tactics-plugin.cabal

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -15,9 +15,9 @@ license-file: LICENSE
1515
build-type: Simple
1616
extra-source-files:
1717
README.md
18-
test/golden/*.cabal
19-
test/golden/*.hs
20-
test/golden/*.yaml
18+
old/test/golden/*.cabal
19+
old/test/golden/*.hs
20+
old/test/golden/*.yaml
2121

2222
source-repository head
2323
type: git
@@ -33,7 +33,7 @@ library
3333
buildable: False
3434
else
3535
buildable: True
36-
hs-source-dirs: src
36+
hs-source-dirs: old/src
3737
exposed-modules:
3838
Ide.Plugin.Tactic
3939
Refinery.Future
@@ -158,7 +158,7 @@ test-suite tests
158158
UnificationSpec
159159
Utils
160160

161-
hs-source-dirs: test
161+
hs-source-dirs: old/test
162162
ghc-options:
163163
-Wall -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N
164164

File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.

0 commit comments

Comments
 (0)