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