haskell
diff --git a/‎plugins/hls-tactics-plugin/hls-tactics-plugin.cabal
Lines changed: 2 additions & 2 deletions b/‎plugins/hls-tactics-plugin/hls-tactics-plugin.cabal
Lines changed: 2 additions & 2 deletions
diff --git a/‎plugins/hls-tactics-plugin/src/Ide/Plugin/Tactic.hs renamed to ‎plugins/hls-tactics-plugin/old/src/Ide/Plugin/Tactic.hs b/‎plugins/hls-tactics-plugin/src/Ide/Plugin/Tactic.hs renamed to ‎plugins/hls-tactics-plugin/old/src/Ide/Plugin/Tactic.hs
diff --git a/‎plugins/hls-tactics-plugin/src/Refinery/Future.hs renamed to ‎plugins/hls-tactics-plugin/old/src/Refinery/Future.hs b/‎plugins/hls-tactics-plugin/src/Refinery/Future.hs renamed to ‎plugins/hls-tactics-plugin/old/src/Refinery/Future.hs
diff --git a/‎plugins/hls-tactics-plugin/src/Wingman/AbstractLSP.hs renamed to ‎plugins/hls-tactics-plugin/old/src/Wingman/AbstractLSP.hs b/‎plugins/hls-tactics-plugin/src/Wingman/AbstractLSP.hs renamed to ‎plugins/hls-tactics-plugin/old/src/Wingman/AbstractLSP.hs
diff --git a/‎plugins/hls-tactics-plugin/src/Wingman/AbstractLSP/TacticActions.hs renamed to ‎plugins/hls-tactics-plugin/old/src/Wingman/AbstractLSP/TacticActions.hs b/‎plugins/hls-tactics-plugin/src/Wingman/AbstractLSP/TacticActions.hs renamed to ‎plugins/hls-tactics-plugin/old/src/Wingman/AbstractLSP/TacticActions.hs
diff --git a/‎plugins/hls-tactics-plugin/src/Wingman/AbstractLSP/Types.hs renamed to ‎plugins/hls-tactics-plugin/old/src/Wingman/AbstractLSP/Types.hs b/‎plugins/hls-tactics-plugin/src/Wingman/AbstractLSP/Types.hs renamed to ‎plugins/hls-tactics-plugin/old/src/Wingman/AbstractLSP/Types.hs
diff --git a/‎plugins/hls-tactics-plugin/src/Wingman/Auto.hs renamed to ‎plugins/hls-tactics-plugin/old/src/Wingman/Auto.hs b/‎plugins/hls-tactics-plugin/src/Wingman/Auto.hs renamed to ‎plugins/hls-tactics-plugin/old/src/Wingman/Auto.hs
diff --git a/‎plugins/hls-tactics-plugin/src/Wingman/CaseSplit.hs renamed to ‎plugins/hls-tactics-plugin/old/src/Wingman/CaseSplit.hs b/‎plugins/hls-tactics-plugin/src/Wingman/CaseSplit.hs renamed to ‎plugins/hls-tactics-plugin/old/src/Wingman/CaseSplit.hs
diff --git a/‎plugins/hls-tactics-plugin/src/Wingman/CodeGen.hs renamed to ‎plugins/hls-tactics-plugin/old/src/Wingman/CodeGen.hs b/‎plugins/hls-tactics-plugin/src/Wingman/CodeGen.hs renamed to ‎plugins/hls-tactics-plugin/old/src/Wingman/CodeGen.hs
diff --git a/‎plugins/hls-tactics-plugin/src/Wingman/CodeGen/Utils.hs renamed to ‎plugins/hls-tactics-plugin/old/src/Wingman/CodeGen/Utils.hs b/‎plugins/hls-tactics-plugin/src/Wingman/CodeGen/Utils.hs renamed to ‎plugins/hls-tactics-plugin/old/src/Wingman/CodeGen/Utils.hs
@@ -33,7 +33,7 @@ library
     buildable: False
   else
     buildable: True
-  hs-source-dirs:     src
+  hs-source-dirs:     old/src
   exposed-modules:
     Ide.Plugin.Tactic
     Refinery.Future
@@ -158,7 +158,7 @@ test-suite tests
     UnificationSpec
     Utils
 
-  hs-source-dirs:     test
+  hs-source-dirs:     old/test
   ghc-options:
     -Wall -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N