From c12a337570ee4ee1116e53366552802dcdddad02 Mon Sep 17 00:00:00 2001
From: Santiago Weight <santiago.weight@lmns.com>
Date: Sun, 20 Nov 2022 16:32:35 -0800
Subject: [PATCH 1/4] wingman: move wingman to new directory

---
 plugins/hls-tactics-plugin/hls-tactics-plugin.cabal           | 4 ++--
 plugins/hls-tactics-plugin/{ => old}/src/Ide/Plugin/Tactic.hs | 0
 plugins/hls-tactics-plugin/{ => old}/src/Refinery/Future.hs   | 0
 .../hls-tactics-plugin/{ => old}/src/Wingman/AbstractLSP.hs   | 0
 .../{ => old}/src/Wingman/AbstractLSP/TacticActions.hs        | 0
 .../{ => old}/src/Wingman/AbstractLSP/Types.hs                | 0
 plugins/hls-tactics-plugin/{ => old}/src/Wingman/Auto.hs      | 0
 plugins/hls-tactics-plugin/{ => old}/src/Wingman/CaseSplit.hs | 0
 plugins/hls-tactics-plugin/{ => old}/src/Wingman/CodeGen.hs   | 0
 .../hls-tactics-plugin/{ => old}/src/Wingman/CodeGen/Utils.hs | 0
 plugins/hls-tactics-plugin/{ => old}/src/Wingman/Context.hs   | 0
 plugins/hls-tactics-plugin/{ => old}/src/Wingman/Debug.hs     | 0
 plugins/hls-tactics-plugin/{ => old}/src/Wingman/EmptyCase.hs | 0
 plugins/hls-tactics-plugin/{ => old}/src/Wingman/GHC.hs       | 0
 .../hls-tactics-plugin/{ => old}/src/Wingman/Judgements.hs    | 0
 .../{ => old}/src/Wingman/Judgements/SYB.hs                   | 0
 .../{ => old}/src/Wingman/Judgements/Theta.hs                 | 0
 .../{ => old}/src/Wingman/KnownStrategies.hs                  | 0
 .../{ => old}/src/Wingman/KnownStrategies/QuickCheck.hs       | 0
 .../{ => old}/src/Wingman/LanguageServer.hs                   | 0
 .../{ => old}/src/Wingman/LanguageServer/Metaprogram.hs       | 0
 .../{ => old}/src/Wingman/LanguageServer/TacticProviders.hs   | 0
 plugins/hls-tactics-plugin/{ => old}/src/Wingman/Machinery.hs | 0
 .../{ => old}/src/Wingman/Metaprogramming/Lexer.hs            | 0
 .../{ => old}/src/Wingman/Metaprogramming/Parser.hs           | 0
 .../{ => old}/src/Wingman/Metaprogramming/Parser.hs-boot      | 0
 .../src/Wingman/Metaprogramming/Parser/Documentation.hs       | 0
 .../{ => old}/src/Wingman/Metaprogramming/ProofState.hs       | 0
 plugins/hls-tactics-plugin/{ => old}/src/Wingman/Naming.hs    | 0
 plugins/hls-tactics-plugin/{ => old}/src/Wingman/Plugin.hs    | 0
 plugins/hls-tactics-plugin/{ => old}/src/Wingman/Range.hs     | 0
 plugins/hls-tactics-plugin/{ => old}/src/Wingman/Simplify.hs  | 0
 .../hls-tactics-plugin/{ => old}/src/Wingman/StaticPlugin.hs  | 0
 plugins/hls-tactics-plugin/{ => old}/src/Wingman/Tactics.hs   | 0
 plugins/hls-tactics-plugin/{ => old}/src/Wingman/Types.hs     | 0
 plugins/hls-tactics-plugin/{ => old}/test/AutoTupleSpec.hs    | 0
 .../hls-tactics-plugin/{ => old}/test/CodeAction/AutoSpec.hs  | 0
 .../{ => old}/test/CodeAction/DestructAllSpec.hs              | 0
 .../{ => old}/test/CodeAction/DestructPunSpec.hs              | 0
 .../{ => old}/test/CodeAction/DestructSpec.hs                 | 0
 .../{ => old}/test/CodeAction/IntroDestructSpec.hs            | 0
 .../{ => old}/test/CodeAction/IntrosSpec.hs                   | 0
 .../{ => old}/test/CodeAction/RefineSpec.hs                   | 0
 .../{ => old}/test/CodeAction/RunMetaprogramSpec.hs           | 0
 .../{ => old}/test/CodeAction/UseDataConSpec.hs               | 0
 .../{ => old}/test/CodeLens/EmptyCaseSpec.hs                  | 0
 plugins/hls-tactics-plugin/{ => old}/test/Main.hs             | 0
 plugins/hls-tactics-plugin/{ => old}/test/ProviderSpec.hs     | 0
 plugins/hls-tactics-plugin/{ => old}/test/Spec.hs             | 0
 plugins/hls-tactics-plugin/{ => old}/test/UnificationSpec.hs  | 0
 plugins/hls-tactics-plugin/{ => old}/test/Utils.hs            | 2 +-
 .../{ => old}/test/golden/AutoEmptyString.expected.hs         | 0
 .../{ => old}/test/golden/AutoEmptyString.hs                  | 0
 .../{ => old}/test/golden/AutoEndo.expected.hs                | 0
 plugins/hls-tactics-plugin/{ => old}/test/golden/AutoEndo.hs  | 0
 .../{ => old}/test/golden/AutoForallClassMethod.expected.hs   | 0
 .../{ => old}/test/golden/AutoForallClassMethod.hs            | 0
 .../{ => old}/test/golden/AutoInfixApply.expected.hs          | 0
 .../{ => old}/test/golden/AutoInfixApply.hs                   | 0
 .../{ => old}/test/golden/AutoInfixApplyMany.expected.hs      | 0
 .../{ => old}/test/golden/AutoInfixApplyMany.hs               | 0
 .../{ => old}/test/golden/AutoInfixInfix.expected.hs          | 0
 .../{ => old}/test/golden/AutoInfixInfix.hs                   | 0
 .../{ => old}/test/golden/AutoPatSynUse.expected.hs           | 0
 .../hls-tactics-plugin/{ => old}/test/golden/AutoPatSynUse.hs | 0
 .../{ => old}/test/golden/AutoSplitGADT.expected.hs           | 0
 .../hls-tactics-plugin/{ => old}/test/golden/AutoSplitGADT.hs | 0
 .../{ => old}/test/golden/AutoThetaEqCtx.expected.hs          | 0
 .../{ => old}/test/golden/AutoThetaEqCtx.hs                   | 0
 .../{ => old}/test/golden/AutoThetaEqGADT.expected.hs         | 0
 .../{ => old}/test/golden/AutoThetaEqGADT.hs                  | 0
 .../{ => old}/test/golden/AutoThetaEqGADTDestruct.expected.hs | 0
 .../{ => old}/test/golden/AutoThetaEqGADTDestruct.hs          | 0
 .../{ => old}/test/golden/AutoThetaFix.expected.hs            | 0
 .../hls-tactics-plugin/{ => old}/test/golden/AutoThetaFix.hs  | 0
 .../{ => old}/test/golden/AutoThetaGADT.expected.hs           | 0
 .../hls-tactics-plugin/{ => old}/test/golden/AutoThetaGADT.hs | 0
 .../{ => old}/test/golden/AutoThetaGADTDestruct.expected.hs   | 0
 .../{ => old}/test/golden/AutoThetaGADTDestruct.hs            | 0
 .../test/golden/AutoThetaMultipleUnification.expected.hs      | 0
 .../{ => old}/test/golden/AutoThetaMultipleUnification.hs     | 0
 .../{ => old}/test/golden/AutoThetaRankN.expected.hs          | 0
 .../{ => old}/test/golden/AutoThetaRankN.hs                   | 0
 .../{ => old}/test/golden/AutoThetaRefl.expected.hs           | 0
 .../hls-tactics-plugin/{ => old}/test/golden/AutoThetaRefl.hs | 0
 .../{ => old}/test/golden/AutoThetaReflDestruct.expected.hs   | 0
 .../{ => old}/test/golden/AutoThetaReflDestruct.hs            | 0
 .../test/golden/AutoThetaSplitUnification.expected.hs         | 0
 .../{ => old}/test/golden/AutoThetaSplitUnification.hs        | 0
 .../{ => old}/test/golden/AutoTypeLevel.expected.hs           | 0
 .../hls-tactics-plugin/{ => old}/test/golden/AutoTypeLevel.hs | 0
 .../{ => old}/test/golden/AutoUnusedPatternMatch.expected.hs  | 0
 .../{ => old}/test/golden/AutoUnusedPatternMatch.hs           | 0
 .../{ => old}/test/golden/AutoZip.expected.hs                 | 0
 plugins/hls-tactics-plugin/{ => old}/test/golden/AutoZip.hs   | 0
 .../hls-tactics-plugin/{ => old}/test/golden/ConProviders.hs  | 0
 .../{ => old}/test/golden/DestructAllAnd.expected.hs          | 0
 .../{ => old}/test/golden/DestructAllAnd.hs                   | 0
 .../{ => old}/test/golden/DestructAllFunc.expected.hs         | 0
 .../{ => old}/test/golden/DestructAllFunc.hs                  | 0
 .../{ => old}/test/golden/DestructAllGADTEvidence.expected.hs | 0
 .../{ => old}/test/golden/DestructAllGADTEvidence.hs          | 0
 .../{ => old}/test/golden/DestructAllMany.expected.hs         | 0
 .../{ => old}/test/golden/DestructAllMany.hs                  | 0
 .../test/golden/DestructAllNonVarTopMatch.expected.hs         | 0
 .../{ => old}/test/golden/DestructAllNonVarTopMatch.hs        | 0
 .../{ => old}/test/golden/DestructAllProvider.hs              | 0
 .../{ => old}/test/golden/DestructCthulhu.expected.hs         | 0
 .../{ => old}/test/golden/DestructCthulhu.hs                  | 0
 .../{ => old}/test/golden/DestructDataFam.expected.hs         | 0
 .../{ => old}/test/golden/DestructDataFam.hs                  | 0
 .../{ => old}/test/golden/DestructInt.expected.hs             | 0
 .../hls-tactics-plugin/{ => old}/test/golden/DestructInt.hs   | 0
 .../{ => old}/test/golden/DestructPun.expected.hs             | 0
 .../hls-tactics-plugin/{ => old}/test/golden/DestructPun.hs   | 0
 .../{ => old}/test/golden/DestructTyFam.expected.hs           | 0
 .../hls-tactics-plugin/{ => old}/test/golden/DestructTyFam.hs | 0
 .../{ => old}/test/golden/DestructTyToDataFam.expected.hs     | 0
 .../{ => old}/test/golden/DestructTyToDataFam.hs              | 0
 .../{ => old}/test/golden/EmptyCaseADT.expected.hs            | 0
 .../hls-tactics-plugin/{ => old}/test/golden/EmptyCaseADT.hs  | 0
 .../{ => old}/test/golden/EmptyCaseApply.expected.hs          | 0
 .../{ => old}/test/golden/EmptyCaseApply.hs                   | 0
 .../{ => old}/test/golden/EmptyCaseGADT.expected.hs           | 0
 .../hls-tactics-plugin/{ => old}/test/golden/EmptyCaseGADT.hs | 0
 .../{ => old}/test/golden/EmptyCaseLamCase.expected.hs        | 0
 .../{ => old}/test/golden/EmptyCaseLamCase.hs                 | 0
 .../{ => old}/test/golden/EmptyCaseNested.expected.hs         | 0
 .../{ => old}/test/golden/EmptyCaseNested.hs                  | 0
 .../{ => old}/test/golden/EmptyCaseParens.expected.hs         | 0
 .../{ => old}/test/golden/EmptyCaseParens.hs                  | 0
 .../{ => old}/test/golden/EmptyCaseShadow.expected.hs         | 0
 .../{ => old}/test/golden/EmptyCaseShadow.hs                  | 0
 .../{ => old}/test/golden/EmptyCaseSpuriousGADT.hs            | 0
 .../{ => old}/test/golden/Fgmap.expected.hs                   | 0
 plugins/hls-tactics-plugin/{ => old}/test/golden/Fgmap.hs     | 0
 .../{ => old}/test/golden/FmapBoth.expected.hs                | 0
 plugins/hls-tactics-plugin/{ => old}/test/golden/FmapBoth.hs  | 0
 .../{ => old}/test/golden/FmapJoin.expected.hs                | 0
 plugins/hls-tactics-plugin/{ => old}/test/golden/FmapJoin.hs  | 0
 .../{ => old}/test/golden/FmapJoinInLet.expected.hs           | 0
 .../hls-tactics-plugin/{ => old}/test/golden/FmapJoinInLet.hs | 0
 .../{ => old}/test/golden/GoldenApplicativeThen.hs            | 0
 .../{ => old}/test/golden/GoldenArbitrary.expected.hs         | 0
 .../{ => old}/test/golden/GoldenArbitrary.hs                  | 0
 .../test/golden/GoldenArbitrarySingleConstructor.expected.hs  | 0
 .../{ => old}/test/golden/GoldenArbitrarySingleConstructor.hs | 0
 .../{ => old}/test/golden/GoldenBigTuple.expected.hs          | 0
 .../{ => old}/test/golden/GoldenBigTuple.hs                   | 0
 .../{ => old}/test/golden/GoldenEitherAuto.expected.hs        | 0
 .../{ => old}/test/golden/GoldenEitherAuto.hs                 | 0
 .../{ => old}/test/golden/GoldenEitherHomomorphic.expected.hs | 0
 .../{ => old}/test/golden/GoldenEitherHomomorphic.hs          | 0
 .../hls-tactics-plugin/{ => old}/test/golden/GoldenFish.hs    | 0
 .../{ => old}/test/golden/GoldenFmapTree.expected.hs          | 0
 .../{ => old}/test/golden/GoldenFmapTree.hs                   | 0
 .../{ => old}/test/golden/GoldenFoldr.expected.hs             | 0
 .../hls-tactics-plugin/{ => old}/test/golden/GoldenFoldr.hs   | 0
 .../{ => old}/test/golden/GoldenFromMaybe.expected.hs         | 0
 .../{ => old}/test/golden/GoldenFromMaybe.hs                  | 0
 .../{ => old}/test/golden/GoldenGADTAuto.expected.hs          | 0
 .../{ => old}/test/golden/GoldenGADTAuto.hs                   | 0
 .../{ => old}/test/golden/GoldenGADTDestruct.expected.hs      | 0
 .../{ => old}/test/golden/GoldenGADTDestruct.hs               | 0
 .../test/golden/GoldenGADTDestructCoercion.expected.hs        | 0
 .../{ => old}/test/golden/GoldenGADTDestructCoercion.hs       | 0
 .../{ => old}/test/golden/GoldenIdTypeFam.expected.hs         | 0
 .../{ => old}/test/golden/GoldenIdTypeFam.hs                  | 0
 .../{ => old}/test/golden/GoldenIdentityFunctor.expected.hs   | 0
 .../{ => old}/test/golden/GoldenIdentityFunctor.hs            | 0
 .../{ => old}/test/golden/GoldenIntros.expected.hs            | 0
 .../hls-tactics-plugin/{ => old}/test/golden/GoldenIntros.hs  | 0
 .../{ => old}/test/golden/GoldenJoinCont.expected.hs          | 0
 .../{ => old}/test/golden/GoldenJoinCont.hs                   | 0
 .../{ => old}/test/golden/GoldenListFmap.expected.hs          | 0
 .../{ => old}/test/golden/GoldenListFmap.hs                   | 0
 .../{ => old}/test/golden/GoldenNote.expected.hs              | 0
 .../hls-tactics-plugin/{ => old}/test/golden/GoldenNote.hs    | 0
 .../{ => old}/test/golden/GoldenPureList.expected.hs          | 0
 .../{ => old}/test/golden/GoldenPureList.hs                   | 0
 .../{ => old}/test/golden/GoldenSafeHead.expected.hs          | 0
 .../{ => old}/test/golden/GoldenSafeHead.hs                   | 0
 .../{ => old}/test/golden/GoldenShow.expected.hs              | 0
 .../hls-tactics-plugin/{ => old}/test/golden/GoldenShow.hs    | 0
 .../{ => old}/test/golden/GoldenShowCompose.expected.hs       | 0
 .../{ => old}/test/golden/GoldenShowCompose.hs                | 0
 .../{ => old}/test/golden/GoldenShowMapChar.expected.hs       | 0
 .../{ => old}/test/golden/GoldenShowMapChar.hs                | 0
 .../{ => old}/test/golden/GoldenSuperclass.expected.hs        | 0
 .../{ => old}/test/golden/GoldenSuperclass.hs                 | 0
 .../{ => old}/test/golden/GoldenSwap.expected.hs              | 0
 .../hls-tactics-plugin/{ => old}/test/golden/GoldenSwap.hs    | 0
 .../{ => old}/test/golden/GoldenSwapMany.expected.hs          | 0
 .../{ => old}/test/golden/GoldenSwapMany.hs                   | 0
 .../{ => old}/test/golden/IntroDestructLetBinding.expected.hs | 0
 .../{ => old}/test/golden/IntroDestructLetBinding.hs          | 0
 .../{ => old}/test/golden/IntroDestructMany.expected.hs       | 0
 .../{ => old}/test/golden/IntroDestructMany.hs                | 0
 .../{ => old}/test/golden/IntroDestructOne.expected.hs        | 0
 .../{ => old}/test/golden/IntroDestructOne.hs                 | 0
 .../{ => old}/test/golden/IntroDestructProvider.hs            | 0
 .../{ => old}/test/golden/IntrosTooMany.expected.hs           | 0
 .../hls-tactics-plugin/{ => old}/test/golden/IntrosTooMany.hs | 0
 .../{ => old}/test/golden/KnownBigSemigroup.expected.hs       | 0
 .../{ => old}/test/golden/KnownBigSemigroup.hs                | 0
 .../test/golden/KnownCounterfactualSemigroup.expected.hs      | 0
 .../{ => old}/test/golden/KnownCounterfactualSemigroup.hs     | 0
 .../test/golden/KnownDestructedSemigroup.expected.hs          | 0
 .../{ => old}/test/golden/KnownDestructedSemigroup.hs         | 0
 .../{ => old}/test/golden/KnownMissingMonoid.expected.hs      | 0
 .../{ => old}/test/golden/KnownMissingMonoid.hs               | 0
 .../{ => old}/test/golden/KnownMissingSemigroup.expected.hs   | 0
 .../{ => old}/test/golden/KnownMissingSemigroup.hs            | 0
 .../test/golden/KnownModuleInstanceSemigroup.expected.hs      | 0
 .../{ => old}/test/golden/KnownModuleInstanceSemigroup.hs     | 0
 .../{ => old}/test/golden/KnownMonoid.expected.hs             | 0
 .../hls-tactics-plugin/{ => old}/test/golden/KnownMonoid.hs   | 0
 .../{ => old}/test/golden/KnownPolyMonoid.expected.hs         | 0
 .../{ => old}/test/golden/KnownPolyMonoid.hs                  | 0
 .../{ => old}/test/golden/KnownThetaSemigroup.expected.hs     | 0
 .../{ => old}/test/golden/KnownThetaSemigroup.hs              | 0
 .../{ => old}/test/golden/LayoutBind.expected.hs              | 0
 .../hls-tactics-plugin/{ => old}/test/golden/LayoutBind.hs    | 0
 .../{ => old}/test/golden/LayoutDollarApp.expected.hs         | 0
 .../{ => old}/test/golden/LayoutDollarApp.hs                  | 0
 .../{ => old}/test/golden/LayoutInfixKeep.expected.hs         | 0
 .../{ => old}/test/golden/LayoutInfixKeep.hs                  | 0
 .../{ => old}/test/golden/LayoutLam.expected.hs               | 0
 plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutLam.hs | 0
 .../{ => old}/test/golden/LayoutOpApp.expected.hs             | 0
 .../hls-tactics-plugin/{ => old}/test/golden/LayoutOpApp.hs   | 0
 .../{ => old}/test/golden/LayoutPrefixKeep.expected.hs        | 0
 .../{ => old}/test/golden/LayoutPrefixKeep.hs                 | 0
 .../{ => old}/test/golden/LayoutRec.expected.hs               | 0
 plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutRec.hs | 0
 .../{ => old}/test/golden/LayoutSplitClass.expected.hs        | 0
 .../{ => old}/test/golden/LayoutSplitClass.hs                 | 0
 .../{ => old}/test/golden/LayoutSplitGuard.expected.hs        | 0
 .../{ => old}/test/golden/LayoutSplitGuard.hs                 | 0
 .../{ => old}/test/golden/LayoutSplitIn.expected.hs           | 0
 .../hls-tactics-plugin/{ => old}/test/golden/LayoutSplitIn.hs | 0
 .../{ => old}/test/golden/LayoutSplitLet.expected.hs          | 0
 .../{ => old}/test/golden/LayoutSplitLet.hs                   | 0
 .../{ => old}/test/golden/LayoutSplitPatSyn.expected.hs       | 0
 .../{ => old}/test/golden/LayoutSplitPatSyn.hs                | 0
 .../{ => old}/test/golden/LayoutSplitPattern.expected.hs      | 0
 .../{ => old}/test/golden/LayoutSplitPattern.hs               | 0
 .../{ => old}/test/golden/LayoutSplitViewPat.expected.hs      | 0
 .../{ => old}/test/golden/LayoutSplitViewPat.hs               | 0
 .../{ => old}/test/golden/LayoutSplitWhere.expected.hs        | 0
 .../{ => old}/test/golden/LayoutSplitWhere.hs                 | 0
 .../{ => old}/test/golden/MessageCantUnify.hs                 | 0
 .../{ => old}/test/golden/MessageForallA.hs                   | 0
 .../{ => old}/test/golden/MessageNotEnoughGas.hs              | 0
 .../{ => old}/test/golden/MetaBegin.expected.hs               | 0
 plugins/hls-tactics-plugin/{ => old}/test/golden/MetaBegin.hs | 0
 .../{ => old}/test/golden/MetaBeginNoWildify.expected.hs      | 0
 .../{ => old}/test/golden/MetaBeginNoWildify.hs               | 0
 .../{ => old}/test/golden/MetaBindAll.expected.hs             | 0
 .../hls-tactics-plugin/{ => old}/test/golden/MetaBindAll.hs   | 0
 .../{ => old}/test/golden/MetaBindOne.expected.hs             | 0
 .../hls-tactics-plugin/{ => old}/test/golden/MetaBindOne.hs   | 0
 .../{ => old}/test/golden/MetaCataAST.expected.hs             | 0
 .../hls-tactics-plugin/{ => old}/test/golden/MetaCataAST.hs   | 0
 .../{ => old}/test/golden/MetaCataCollapse.expected.hs        | 0
 .../{ => old}/test/golden/MetaCataCollapse.hs                 | 0
 .../{ => old}/test/golden/MetaCataCollapseUnary.expected.hs   | 0
 .../{ => old}/test/golden/MetaCataCollapseUnary.hs            | 0
 .../{ => old}/test/golden/MetaChoice.expected.hs              | 0
 .../hls-tactics-plugin/{ => old}/test/golden/MetaChoice.hs    | 0
 .../{ => old}/test/golden/MetaDeepOf.expected.hs              | 0
 .../hls-tactics-plugin/{ => old}/test/golden/MetaDeepOf.hs    | 0
 .../{ => old}/test/golden/MetaFundeps.expected.hs             | 0
 .../hls-tactics-plugin/{ => old}/test/golden/MetaFundeps.hs   | 0
 .../{ => old}/test/golden/MetaIdiom.expected.hs               | 0
 plugins/hls-tactics-plugin/{ => old}/test/golden/MetaIdiom.hs | 0
 .../{ => old}/test/golden/MetaIdiomRecord.expected.hs         | 0
 .../{ => old}/test/golden/MetaIdiomRecord.hs                  | 0
 .../{ => old}/test/golden/MetaLetSimple.expected.hs           | 0
 .../hls-tactics-plugin/{ => old}/test/golden/MetaLetSimple.hs | 0
 .../{ => old}/test/golden/MetaMaybeAp.expected.hs             | 0
 .../hls-tactics-plugin/{ => old}/test/golden/MetaMaybeAp.hs   | 0
 .../{ => old}/test/golden/MetaPointwise.expected.hs           | 0
 .../hls-tactics-plugin/{ => old}/test/golden/MetaPointwise.hs | 0
 .../{ => old}/test/golden/MetaTry.expected.hs                 | 0
 plugins/hls-tactics-plugin/{ => old}/test/golden/MetaTry.hs   | 0
 .../{ => old}/test/golden/MetaUseImport.expected.hs           | 0
 .../hls-tactics-plugin/{ => old}/test/golden/MetaUseImport.hs | 0
 .../{ => old}/test/golden/MetaUseLocal.expected.hs            | 0
 .../hls-tactics-plugin/{ => old}/test/golden/MetaUseLocal.hs  | 0
 .../{ => old}/test/golden/MetaUseMethod.expected.hs           | 0
 .../hls-tactics-plugin/{ => old}/test/golden/MetaUseMethod.hs | 0
 .../{ => old}/test/golden/MetaUseSymbol.expected.hs           | 0
 .../hls-tactics-plugin/{ => old}/test/golden/MetaUseSymbol.hs | 0
 .../{ => old}/test/golden/MetaWithArg.expected.hs             | 0
 .../hls-tactics-plugin/{ => old}/test/golden/MetaWithArg.hs   | 0
 .../{ => old}/test/golden/NewtypeRecord.expected.hs           | 0
 .../hls-tactics-plugin/{ => old}/test/golden/NewtypeRecord.hs | 0
 .../{ => old}/test/golden/ProvideAlreadyDestructed.hs         | 0
 .../{ => old}/test/golden/ProvideLocalHyOnly.hs               | 0
 .../{ => old}/test/golden/ProviderHomomorphism.hs             | 0
 .../{ => old}/test/golden/PunGADT.expected.hs                 | 0
 plugins/hls-tactics-plugin/{ => old}/test/golden/PunGADT.hs   | 0
 .../{ => old}/test/golden/PunMany.expected.hs                 | 0
 plugins/hls-tactics-plugin/{ => old}/test/golden/PunMany.hs   | 0
 .../{ => old}/test/golden/PunManyGADT.expected.hs             | 0
 .../hls-tactics-plugin/{ => old}/test/golden/PunManyGADT.hs   | 0
 .../{ => old}/test/golden/PunShadowing.expected.hs            | 0
 .../hls-tactics-plugin/{ => old}/test/golden/PunShadowing.hs  | 0
 .../{ => old}/test/golden/PunSimple.expected.hs               | 0
 plugins/hls-tactics-plugin/{ => old}/test/golden/PunSimple.hs | 0
 .../{ => old}/test/golden/RecordCon.expected.hs               | 0
 plugins/hls-tactics-plugin/{ => old}/test/golden/RecordCon.hs | 0
 .../{ => old}/test/golden/RefineCon.expected.hs               | 0
 plugins/hls-tactics-plugin/{ => old}/test/golden/RefineCon.hs | 0
 .../{ => old}/test/golden/RefineGADT.expected.hs              | 0
 .../hls-tactics-plugin/{ => old}/test/golden/RefineGADT.hs    | 0
 .../{ => old}/test/golden/RefineIntro.expected.hs             | 0
 .../hls-tactics-plugin/{ => old}/test/golden/RefineIntro.hs   | 0
 .../{ => old}/test/golden/RefineIntroWhere.expected.hs        | 0
 .../{ => old}/test/golden/RefineIntroWhere.hs                 | 0
 .../{ => old}/test/golden/RefineReader.expected.hs            | 0
 .../hls-tactics-plugin/{ => old}/test/golden/RefineReader.hs  | 0
 .../{ => old}/test/golden/SplitPattern.expected.hs            | 0
 .../hls-tactics-plugin/{ => old}/test/golden/SplitPattern.hs  | 0
 .../{ => old}/test/golden/SubsequentTactics.expected.hs       | 0
 .../{ => old}/test/golden/SubsequentTactics.hs                | 0
 plugins/hls-tactics-plugin/{ => old}/test/golden/T1.hs        | 0
 plugins/hls-tactics-plugin/{ => old}/test/golden/T2.hs        | 0
 plugins/hls-tactics-plugin/{ => old}/test/golden/T3.hs        | 0
 .../{ => old}/test/golden/UseConLeft.expected.hs              | 0
 .../hls-tactics-plugin/{ => old}/test/golden/UseConLeft.hs    | 0
 .../{ => old}/test/golden/UseConPair.expected.hs              | 0
 .../hls-tactics-plugin/{ => old}/test/golden/UseConPair.hs    | 0
 .../{ => old}/test/golden/UseConRight.expected.hs             | 0
 .../hls-tactics-plugin/{ => old}/test/golden/UseConRight.hs   | 0
 plugins/hls-tactics-plugin/{ => old}/test/golden/hie.yaml     | 0
 plugins/hls-tactics-plugin/{ => old}/test/golden/test.cabal   | 0
 338 files changed, 3 insertions(+), 3 deletions(-)
 rename plugins/hls-tactics-plugin/{ => old}/src/Ide/Plugin/Tactic.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Refinery/Future.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/AbstractLSP.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/AbstractLSP/TacticActions.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/AbstractLSP/Types.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/Auto.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/CaseSplit.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/CodeGen.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/CodeGen/Utils.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/Context.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/Debug.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/EmptyCase.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/GHC.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/Judgements.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/Judgements/SYB.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/Judgements/Theta.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/KnownStrategies.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/KnownStrategies/QuickCheck.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/LanguageServer.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/LanguageServer/Metaprogram.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/LanguageServer/TacticProviders.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/Machinery.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/Metaprogramming/Lexer.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/Metaprogramming/Parser.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/Metaprogramming/Parser.hs-boot (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/Metaprogramming/Parser/Documentation.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/Metaprogramming/ProofState.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/Naming.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/Plugin.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/Range.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/Simplify.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/StaticPlugin.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/Tactics.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/src/Wingman/Types.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/AutoTupleSpec.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/CodeAction/AutoSpec.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/CodeAction/DestructAllSpec.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/CodeAction/DestructPunSpec.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/CodeAction/DestructSpec.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/CodeAction/IntroDestructSpec.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/CodeAction/IntrosSpec.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/CodeAction/RefineSpec.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/CodeAction/RunMetaprogramSpec.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/CodeAction/UseDataConSpec.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/CodeLens/EmptyCaseSpec.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/Main.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/ProviderSpec.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/Spec.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/UnificationSpec.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/Utils.hs (99%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoEmptyString.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoEmptyString.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoEndo.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoEndo.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoForallClassMethod.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoForallClassMethod.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoInfixApply.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoInfixApply.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoInfixApplyMany.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoInfixApplyMany.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoInfixInfix.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoInfixInfix.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoPatSynUse.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoPatSynUse.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoSplitGADT.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoSplitGADT.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoThetaEqCtx.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoThetaEqCtx.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoThetaEqGADT.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoThetaEqGADT.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoThetaEqGADTDestruct.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoThetaEqGADTDestruct.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoThetaFix.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoThetaFix.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoThetaGADT.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoThetaGADT.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoThetaGADTDestruct.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoThetaGADTDestruct.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoThetaMultipleUnification.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoThetaMultipleUnification.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoThetaRankN.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoThetaRankN.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoThetaRefl.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoThetaRefl.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoThetaReflDestruct.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoThetaReflDestruct.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoThetaSplitUnification.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoThetaSplitUnification.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoTypeLevel.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoTypeLevel.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoUnusedPatternMatch.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoUnusedPatternMatch.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoZip.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/AutoZip.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/ConProviders.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/DestructAllAnd.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/DestructAllAnd.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/DestructAllFunc.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/DestructAllFunc.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/DestructAllGADTEvidence.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/DestructAllGADTEvidence.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/DestructAllMany.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/DestructAllMany.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/DestructAllNonVarTopMatch.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/DestructAllNonVarTopMatch.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/DestructAllProvider.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/DestructCthulhu.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/DestructCthulhu.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/DestructDataFam.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/DestructDataFam.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/DestructInt.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/DestructInt.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/DestructPun.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/DestructPun.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/DestructTyFam.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/DestructTyFam.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/DestructTyToDataFam.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/DestructTyToDataFam.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/EmptyCaseADT.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/EmptyCaseADT.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/EmptyCaseApply.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/EmptyCaseApply.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/EmptyCaseGADT.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/EmptyCaseGADT.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/EmptyCaseLamCase.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/EmptyCaseLamCase.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/EmptyCaseNested.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/EmptyCaseNested.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/EmptyCaseParens.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/EmptyCaseParens.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/EmptyCaseShadow.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/EmptyCaseShadow.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/EmptyCaseSpuriousGADT.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/Fgmap.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/Fgmap.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/FmapBoth.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/FmapBoth.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/FmapJoin.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/FmapJoin.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/FmapJoinInLet.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/FmapJoinInLet.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenApplicativeThen.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenArbitrary.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenArbitrary.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenArbitrarySingleConstructor.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenArbitrarySingleConstructor.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenBigTuple.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenBigTuple.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenEitherAuto.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenEitherAuto.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenEitherHomomorphic.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenEitherHomomorphic.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenFish.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenFmapTree.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenFmapTree.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenFoldr.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenFoldr.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenFromMaybe.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenFromMaybe.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenGADTAuto.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenGADTAuto.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenGADTDestruct.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenGADTDestruct.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenGADTDestructCoercion.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenGADTDestructCoercion.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenIdTypeFam.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenIdTypeFam.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenIdentityFunctor.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenIdentityFunctor.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenIntros.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenIntros.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenJoinCont.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenJoinCont.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenListFmap.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenListFmap.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenNote.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenNote.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenPureList.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenPureList.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenSafeHead.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenSafeHead.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenShow.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenShow.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenShowCompose.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenShowCompose.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenShowMapChar.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenShowMapChar.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenSuperclass.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenSuperclass.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenSwap.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenSwap.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenSwapMany.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/GoldenSwapMany.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/IntroDestructLetBinding.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/IntroDestructLetBinding.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/IntroDestructMany.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/IntroDestructMany.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/IntroDestructOne.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/IntroDestructOne.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/IntroDestructProvider.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/IntrosTooMany.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/IntrosTooMany.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/KnownBigSemigroup.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/KnownBigSemigroup.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/KnownCounterfactualSemigroup.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/KnownCounterfactualSemigroup.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/KnownDestructedSemigroup.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/KnownDestructedSemigroup.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/KnownMissingMonoid.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/KnownMissingMonoid.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/KnownMissingSemigroup.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/KnownMissingSemigroup.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/KnownModuleInstanceSemigroup.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/KnownModuleInstanceSemigroup.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/KnownMonoid.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/KnownMonoid.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/KnownPolyMonoid.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/KnownPolyMonoid.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/KnownThetaSemigroup.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/KnownThetaSemigroup.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutBind.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutBind.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutDollarApp.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutDollarApp.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutInfixKeep.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutInfixKeep.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutLam.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutLam.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutOpApp.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutOpApp.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutPrefixKeep.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutPrefixKeep.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutRec.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutRec.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutSplitClass.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutSplitClass.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutSplitGuard.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutSplitGuard.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutSplitIn.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutSplitIn.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutSplitLet.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutSplitLet.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutSplitPatSyn.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutSplitPatSyn.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutSplitPattern.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutSplitPattern.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutSplitViewPat.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutSplitViewPat.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutSplitWhere.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/LayoutSplitWhere.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MessageCantUnify.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MessageForallA.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MessageNotEnoughGas.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaBegin.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaBegin.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaBeginNoWildify.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaBeginNoWildify.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaBindAll.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaBindAll.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaBindOne.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaBindOne.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaCataAST.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaCataAST.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaCataCollapse.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaCataCollapse.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaCataCollapseUnary.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaCataCollapseUnary.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaChoice.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaChoice.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaDeepOf.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaDeepOf.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaFundeps.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaFundeps.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaIdiom.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaIdiom.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaIdiomRecord.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaIdiomRecord.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaLetSimple.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaLetSimple.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaMaybeAp.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaMaybeAp.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaPointwise.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaPointwise.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaTry.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaTry.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaUseImport.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaUseImport.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaUseLocal.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaUseLocal.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaUseMethod.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaUseMethod.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaUseSymbol.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaUseSymbol.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaWithArg.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/MetaWithArg.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/NewtypeRecord.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/NewtypeRecord.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/ProvideAlreadyDestructed.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/ProvideLocalHyOnly.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/ProviderHomomorphism.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/PunGADT.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/PunGADT.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/PunMany.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/PunMany.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/PunManyGADT.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/PunManyGADT.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/PunShadowing.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/PunShadowing.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/PunSimple.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/PunSimple.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/RecordCon.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/RecordCon.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/RefineCon.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/RefineCon.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/RefineGADT.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/RefineGADT.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/RefineIntro.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/RefineIntro.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/RefineIntroWhere.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/RefineIntroWhere.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/RefineReader.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/RefineReader.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/SplitPattern.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/SplitPattern.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/SubsequentTactics.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/SubsequentTactics.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/T1.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/T2.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/T3.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/UseConLeft.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/UseConLeft.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/UseConPair.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/UseConPair.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/UseConRight.expected.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/UseConRight.hs (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/hie.yaml (100%)
 rename plugins/hls-tactics-plugin/{ => old}/test/golden/test.cabal (100%)

diff --git a/plugins/hls-tactics-plugin/hls-tactics-plugin.cabal b/plugins/hls-tactics-plugin/hls-tactics-plugin.cabal
index d06fe4297c..3ac7fb89e3 100644
--- a/plugins/hls-tactics-plugin/hls-tactics-plugin.cabal
+++ b/plugins/hls-tactics-plugin/hls-tactics-plugin.cabal
@@ -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
 
diff --git a/plugins/hls-tactics-plugin/src/Ide/Plugin/Tactic.hs b/plugins/hls-tactics-plugin/old/src/Ide/Plugin/Tactic.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Ide/Plugin/Tactic.hs
rename to plugins/hls-tactics-plugin/old/src/Ide/Plugin/Tactic.hs
diff --git a/plugins/hls-tactics-plugin/src/Refinery/Future.hs b/plugins/hls-tactics-plugin/old/src/Refinery/Future.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Refinery/Future.hs
rename to plugins/hls-tactics-plugin/old/src/Refinery/Future.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/AbstractLSP.hs b/plugins/hls-tactics-plugin/old/src/Wingman/AbstractLSP.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/AbstractLSP.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/AbstractLSP.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/AbstractLSP/TacticActions.hs b/plugins/hls-tactics-plugin/old/src/Wingman/AbstractLSP/TacticActions.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/AbstractLSP/TacticActions.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/AbstractLSP/TacticActions.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/AbstractLSP/Types.hs b/plugins/hls-tactics-plugin/old/src/Wingman/AbstractLSP/Types.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/AbstractLSP/Types.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/AbstractLSP/Types.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/Auto.hs b/plugins/hls-tactics-plugin/old/src/Wingman/Auto.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/Auto.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/Auto.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/CaseSplit.hs b/plugins/hls-tactics-plugin/old/src/Wingman/CaseSplit.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/CaseSplit.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/CaseSplit.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/CodeGen.hs b/plugins/hls-tactics-plugin/old/src/Wingman/CodeGen.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/CodeGen.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/CodeGen.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/CodeGen/Utils.hs b/plugins/hls-tactics-plugin/old/src/Wingman/CodeGen/Utils.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/CodeGen/Utils.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/CodeGen/Utils.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/Context.hs b/plugins/hls-tactics-plugin/old/src/Wingman/Context.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/Context.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/Context.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/Debug.hs b/plugins/hls-tactics-plugin/old/src/Wingman/Debug.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/Debug.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/Debug.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/EmptyCase.hs b/plugins/hls-tactics-plugin/old/src/Wingman/EmptyCase.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/EmptyCase.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/EmptyCase.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/GHC.hs b/plugins/hls-tactics-plugin/old/src/Wingman/GHC.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/GHC.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/GHC.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/Judgements.hs b/plugins/hls-tactics-plugin/old/src/Wingman/Judgements.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/Judgements.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/Judgements.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/Judgements/SYB.hs b/plugins/hls-tactics-plugin/old/src/Wingman/Judgements/SYB.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/Judgements/SYB.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/Judgements/SYB.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/Judgements/Theta.hs b/plugins/hls-tactics-plugin/old/src/Wingman/Judgements/Theta.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/Judgements/Theta.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/Judgements/Theta.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/KnownStrategies.hs b/plugins/hls-tactics-plugin/old/src/Wingman/KnownStrategies.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/KnownStrategies.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/KnownStrategies.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/KnownStrategies/QuickCheck.hs b/plugins/hls-tactics-plugin/old/src/Wingman/KnownStrategies/QuickCheck.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/KnownStrategies/QuickCheck.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/KnownStrategies/QuickCheck.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/LanguageServer.hs b/plugins/hls-tactics-plugin/old/src/Wingman/LanguageServer.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/LanguageServer.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/LanguageServer.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/LanguageServer/Metaprogram.hs b/plugins/hls-tactics-plugin/old/src/Wingman/LanguageServer/Metaprogram.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/LanguageServer/Metaprogram.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/LanguageServer/Metaprogram.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/LanguageServer/TacticProviders.hs b/plugins/hls-tactics-plugin/old/src/Wingman/LanguageServer/TacticProviders.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/LanguageServer/TacticProviders.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/LanguageServer/TacticProviders.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/Machinery.hs b/plugins/hls-tactics-plugin/old/src/Wingman/Machinery.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/Machinery.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/Machinery.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/Metaprogramming/Lexer.hs b/plugins/hls-tactics-plugin/old/src/Wingman/Metaprogramming/Lexer.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/Metaprogramming/Lexer.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/Metaprogramming/Lexer.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/Metaprogramming/Parser.hs b/plugins/hls-tactics-plugin/old/src/Wingman/Metaprogramming/Parser.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/Metaprogramming/Parser.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/Metaprogramming/Parser.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/Metaprogramming/Parser.hs-boot b/plugins/hls-tactics-plugin/old/src/Wingman/Metaprogramming/Parser.hs-boot
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/Metaprogramming/Parser.hs-boot
rename to plugins/hls-tactics-plugin/old/src/Wingman/Metaprogramming/Parser.hs-boot
diff --git a/plugins/hls-tactics-plugin/src/Wingman/Metaprogramming/Parser/Documentation.hs b/plugins/hls-tactics-plugin/old/src/Wingman/Metaprogramming/Parser/Documentation.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/Metaprogramming/Parser/Documentation.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/Metaprogramming/Parser/Documentation.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/Metaprogramming/ProofState.hs b/plugins/hls-tactics-plugin/old/src/Wingman/Metaprogramming/ProofState.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/Metaprogramming/ProofState.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/Metaprogramming/ProofState.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/Naming.hs b/plugins/hls-tactics-plugin/old/src/Wingman/Naming.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/Naming.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/Naming.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/Plugin.hs b/plugins/hls-tactics-plugin/old/src/Wingman/Plugin.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/Plugin.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/Plugin.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/Range.hs b/plugins/hls-tactics-plugin/old/src/Wingman/Range.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/Range.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/Range.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/Simplify.hs b/plugins/hls-tactics-plugin/old/src/Wingman/Simplify.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/Simplify.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/Simplify.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/StaticPlugin.hs b/plugins/hls-tactics-plugin/old/src/Wingman/StaticPlugin.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/StaticPlugin.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/StaticPlugin.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/Tactics.hs b/plugins/hls-tactics-plugin/old/src/Wingman/Tactics.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/Tactics.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/Tactics.hs
diff --git a/plugins/hls-tactics-plugin/src/Wingman/Types.hs b/plugins/hls-tactics-plugin/old/src/Wingman/Types.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/src/Wingman/Types.hs
rename to plugins/hls-tactics-plugin/old/src/Wingman/Types.hs
diff --git a/plugins/hls-tactics-plugin/test/AutoTupleSpec.hs b/plugins/hls-tactics-plugin/old/test/AutoTupleSpec.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/AutoTupleSpec.hs
rename to plugins/hls-tactics-plugin/old/test/AutoTupleSpec.hs
diff --git a/plugins/hls-tactics-plugin/test/CodeAction/AutoSpec.hs b/plugins/hls-tactics-plugin/old/test/CodeAction/AutoSpec.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/CodeAction/AutoSpec.hs
rename to plugins/hls-tactics-plugin/old/test/CodeAction/AutoSpec.hs
diff --git a/plugins/hls-tactics-plugin/test/CodeAction/DestructAllSpec.hs b/plugins/hls-tactics-plugin/old/test/CodeAction/DestructAllSpec.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/CodeAction/DestructAllSpec.hs
rename to plugins/hls-tactics-plugin/old/test/CodeAction/DestructAllSpec.hs
diff --git a/plugins/hls-tactics-plugin/test/CodeAction/DestructPunSpec.hs b/plugins/hls-tactics-plugin/old/test/CodeAction/DestructPunSpec.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/CodeAction/DestructPunSpec.hs
rename to plugins/hls-tactics-plugin/old/test/CodeAction/DestructPunSpec.hs
diff --git a/plugins/hls-tactics-plugin/test/CodeAction/DestructSpec.hs b/plugins/hls-tactics-plugin/old/test/CodeAction/DestructSpec.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/CodeAction/DestructSpec.hs
rename to plugins/hls-tactics-plugin/old/test/CodeAction/DestructSpec.hs
diff --git a/plugins/hls-tactics-plugin/test/CodeAction/IntroDestructSpec.hs b/plugins/hls-tactics-plugin/old/test/CodeAction/IntroDestructSpec.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/CodeAction/IntroDestructSpec.hs
rename to plugins/hls-tactics-plugin/old/test/CodeAction/IntroDestructSpec.hs
diff --git a/plugins/hls-tactics-plugin/test/CodeAction/IntrosSpec.hs b/plugins/hls-tactics-plugin/old/test/CodeAction/IntrosSpec.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/CodeAction/IntrosSpec.hs
rename to plugins/hls-tactics-plugin/old/test/CodeAction/IntrosSpec.hs
diff --git a/plugins/hls-tactics-plugin/test/CodeAction/RefineSpec.hs b/plugins/hls-tactics-plugin/old/test/CodeAction/RefineSpec.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/CodeAction/RefineSpec.hs
rename to plugins/hls-tactics-plugin/old/test/CodeAction/RefineSpec.hs
diff --git a/plugins/hls-tactics-plugin/test/CodeAction/RunMetaprogramSpec.hs b/plugins/hls-tactics-plugin/old/test/CodeAction/RunMetaprogramSpec.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/CodeAction/RunMetaprogramSpec.hs
rename to plugins/hls-tactics-plugin/old/test/CodeAction/RunMetaprogramSpec.hs
diff --git a/plugins/hls-tactics-plugin/test/CodeAction/UseDataConSpec.hs b/plugins/hls-tactics-plugin/old/test/CodeAction/UseDataConSpec.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/CodeAction/UseDataConSpec.hs
rename to plugins/hls-tactics-plugin/old/test/CodeAction/UseDataConSpec.hs
diff --git a/plugins/hls-tactics-plugin/test/CodeLens/EmptyCaseSpec.hs b/plugins/hls-tactics-plugin/old/test/CodeLens/EmptyCaseSpec.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/CodeLens/EmptyCaseSpec.hs
rename to plugins/hls-tactics-plugin/old/test/CodeLens/EmptyCaseSpec.hs
diff --git a/plugins/hls-tactics-plugin/test/Main.hs b/plugins/hls-tactics-plugin/old/test/Main.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/Main.hs
rename to plugins/hls-tactics-plugin/old/test/Main.hs
diff --git a/plugins/hls-tactics-plugin/test/ProviderSpec.hs b/plugins/hls-tactics-plugin/old/test/ProviderSpec.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/ProviderSpec.hs
rename to plugins/hls-tactics-plugin/old/test/ProviderSpec.hs
diff --git a/plugins/hls-tactics-plugin/test/Spec.hs b/plugins/hls-tactics-plugin/old/test/Spec.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/Spec.hs
rename to plugins/hls-tactics-plugin/old/test/Spec.hs
diff --git a/plugins/hls-tactics-plugin/test/UnificationSpec.hs b/plugins/hls-tactics-plugin/old/test/UnificationSpec.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/UnificationSpec.hs
rename to plugins/hls-tactics-plugin/old/test/UnificationSpec.hs
diff --git a/plugins/hls-tactics-plugin/test/Utils.hs b/plugins/hls-tactics-plugin/old/test/Utils.hs
similarity index 99%
rename from plugins/hls-tactics-plugin/test/Utils.hs
rename to plugins/hls-tactics-plugin/old/test/Utils.hs
index 15c0386bb8..ca002f4176 100644
--- a/plugins/hls-tactics-plugin/test/Utils.hs
+++ b/plugins/hls-tactics-plugin/old/test/Utils.hs
@@ -252,7 +252,7 @@ failing _ _ = pure ()
 
 
 tacticPath :: FilePath
-tacticPath = "test/golden"
+tacticPath = "test/old/golden"
 
 
 executeCommandWithResp :: Command -> Session (ResponseMessage 'WorkspaceExecuteCommand)
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoEmptyString.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoEmptyString.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoEmptyString.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoEmptyString.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoEmptyString.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoEmptyString.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoEmptyString.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoEmptyString.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoEndo.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoEndo.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoEndo.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoEndo.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoEndo.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoEndo.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoEndo.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoEndo.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoForallClassMethod.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoForallClassMethod.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoForallClassMethod.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoForallClassMethod.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoForallClassMethod.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoForallClassMethod.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoForallClassMethod.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoForallClassMethod.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoInfixApply.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoInfixApply.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoInfixApply.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoInfixApply.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoInfixApply.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoInfixApply.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoInfixApply.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoInfixApply.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoInfixApplyMany.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoInfixApplyMany.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoInfixApplyMany.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoInfixApplyMany.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoInfixApplyMany.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoInfixApplyMany.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoInfixApplyMany.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoInfixApplyMany.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoInfixInfix.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoInfixInfix.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoInfixInfix.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoInfixInfix.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoInfixInfix.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoInfixInfix.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoInfixInfix.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoInfixInfix.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoPatSynUse.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoPatSynUse.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoPatSynUse.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoPatSynUse.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoPatSynUse.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoPatSynUse.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoPatSynUse.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoPatSynUse.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoSplitGADT.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoSplitGADT.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoSplitGADT.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoSplitGADT.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoSplitGADT.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoSplitGADT.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoSplitGADT.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoSplitGADT.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoThetaEqCtx.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoThetaEqCtx.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoThetaEqCtx.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoThetaEqCtx.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoThetaEqCtx.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoThetaEqCtx.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoThetaEqCtx.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoThetaEqCtx.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoThetaEqGADT.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoThetaEqGADT.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoThetaEqGADT.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoThetaEqGADT.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoThetaEqGADT.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoThetaEqGADT.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoThetaEqGADT.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoThetaEqGADT.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoThetaEqGADTDestruct.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoThetaEqGADTDestruct.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoThetaEqGADTDestruct.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoThetaEqGADTDestruct.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoThetaEqGADTDestruct.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoThetaEqGADTDestruct.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoThetaEqGADTDestruct.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoThetaEqGADTDestruct.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoThetaFix.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoThetaFix.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoThetaFix.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoThetaFix.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoThetaFix.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoThetaFix.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoThetaFix.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoThetaFix.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoThetaGADT.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoThetaGADT.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoThetaGADT.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoThetaGADT.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoThetaGADT.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoThetaGADT.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoThetaGADT.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoThetaGADT.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoThetaGADTDestruct.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoThetaGADTDestruct.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoThetaGADTDestruct.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoThetaGADTDestruct.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoThetaGADTDestruct.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoThetaGADTDestruct.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoThetaGADTDestruct.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoThetaGADTDestruct.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoThetaMultipleUnification.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoThetaMultipleUnification.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoThetaMultipleUnification.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoThetaMultipleUnification.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoThetaMultipleUnification.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoThetaMultipleUnification.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoThetaMultipleUnification.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoThetaMultipleUnification.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoThetaRankN.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoThetaRankN.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoThetaRankN.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoThetaRankN.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoThetaRankN.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoThetaRankN.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoThetaRankN.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoThetaRankN.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoThetaRefl.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoThetaRefl.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoThetaRefl.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoThetaRefl.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoThetaRefl.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoThetaRefl.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoThetaRefl.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoThetaRefl.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoThetaReflDestruct.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoThetaReflDestruct.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoThetaReflDestruct.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoThetaReflDestruct.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoThetaReflDestruct.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoThetaReflDestruct.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoThetaReflDestruct.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoThetaReflDestruct.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoThetaSplitUnification.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoThetaSplitUnification.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoThetaSplitUnification.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoThetaSplitUnification.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoThetaSplitUnification.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoThetaSplitUnification.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoThetaSplitUnification.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoThetaSplitUnification.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoTypeLevel.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoTypeLevel.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoTypeLevel.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoTypeLevel.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoTypeLevel.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoTypeLevel.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoTypeLevel.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoTypeLevel.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoUnusedPatternMatch.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoUnusedPatternMatch.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoUnusedPatternMatch.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoUnusedPatternMatch.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoUnusedPatternMatch.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoUnusedPatternMatch.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoUnusedPatternMatch.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoUnusedPatternMatch.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoZip.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoZip.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoZip.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoZip.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/AutoZip.hs b/plugins/hls-tactics-plugin/old/test/golden/AutoZip.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/AutoZip.hs
rename to plugins/hls-tactics-plugin/old/test/golden/AutoZip.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/ConProviders.hs b/plugins/hls-tactics-plugin/old/test/golden/ConProviders.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/ConProviders.hs
rename to plugins/hls-tactics-plugin/old/test/golden/ConProviders.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/DestructAllAnd.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/DestructAllAnd.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/DestructAllAnd.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/DestructAllAnd.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/DestructAllAnd.hs b/plugins/hls-tactics-plugin/old/test/golden/DestructAllAnd.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/DestructAllAnd.hs
rename to plugins/hls-tactics-plugin/old/test/golden/DestructAllAnd.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/DestructAllFunc.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/DestructAllFunc.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/DestructAllFunc.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/DestructAllFunc.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/DestructAllFunc.hs b/plugins/hls-tactics-plugin/old/test/golden/DestructAllFunc.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/DestructAllFunc.hs
rename to plugins/hls-tactics-plugin/old/test/golden/DestructAllFunc.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/DestructAllGADTEvidence.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/DestructAllGADTEvidence.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/DestructAllGADTEvidence.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/DestructAllGADTEvidence.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/DestructAllGADTEvidence.hs b/plugins/hls-tactics-plugin/old/test/golden/DestructAllGADTEvidence.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/DestructAllGADTEvidence.hs
rename to plugins/hls-tactics-plugin/old/test/golden/DestructAllGADTEvidence.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/DestructAllMany.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/DestructAllMany.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/DestructAllMany.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/DestructAllMany.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/DestructAllMany.hs b/plugins/hls-tactics-plugin/old/test/golden/DestructAllMany.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/DestructAllMany.hs
rename to plugins/hls-tactics-plugin/old/test/golden/DestructAllMany.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/DestructAllNonVarTopMatch.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/DestructAllNonVarTopMatch.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/DestructAllNonVarTopMatch.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/DestructAllNonVarTopMatch.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/DestructAllNonVarTopMatch.hs b/plugins/hls-tactics-plugin/old/test/golden/DestructAllNonVarTopMatch.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/DestructAllNonVarTopMatch.hs
rename to plugins/hls-tactics-plugin/old/test/golden/DestructAllNonVarTopMatch.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/DestructAllProvider.hs b/plugins/hls-tactics-plugin/old/test/golden/DestructAllProvider.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/DestructAllProvider.hs
rename to plugins/hls-tactics-plugin/old/test/golden/DestructAllProvider.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/DestructCthulhu.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/DestructCthulhu.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/DestructCthulhu.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/DestructCthulhu.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/DestructCthulhu.hs b/plugins/hls-tactics-plugin/old/test/golden/DestructCthulhu.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/DestructCthulhu.hs
rename to plugins/hls-tactics-plugin/old/test/golden/DestructCthulhu.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/DestructDataFam.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/DestructDataFam.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/DestructDataFam.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/DestructDataFam.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/DestructDataFam.hs b/plugins/hls-tactics-plugin/old/test/golden/DestructDataFam.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/DestructDataFam.hs
rename to plugins/hls-tactics-plugin/old/test/golden/DestructDataFam.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/DestructInt.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/DestructInt.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/DestructInt.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/DestructInt.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/DestructInt.hs b/plugins/hls-tactics-plugin/old/test/golden/DestructInt.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/DestructInt.hs
rename to plugins/hls-tactics-plugin/old/test/golden/DestructInt.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/DestructPun.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/DestructPun.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/DestructPun.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/DestructPun.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/DestructPun.hs b/plugins/hls-tactics-plugin/old/test/golden/DestructPun.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/DestructPun.hs
rename to plugins/hls-tactics-plugin/old/test/golden/DestructPun.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/DestructTyFam.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/DestructTyFam.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/DestructTyFam.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/DestructTyFam.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/DestructTyFam.hs b/plugins/hls-tactics-plugin/old/test/golden/DestructTyFam.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/DestructTyFam.hs
rename to plugins/hls-tactics-plugin/old/test/golden/DestructTyFam.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/DestructTyToDataFam.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/DestructTyToDataFam.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/DestructTyToDataFam.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/DestructTyToDataFam.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/DestructTyToDataFam.hs b/plugins/hls-tactics-plugin/old/test/golden/DestructTyToDataFam.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/DestructTyToDataFam.hs
rename to plugins/hls-tactics-plugin/old/test/golden/DestructTyToDataFam.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/EmptyCaseADT.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/EmptyCaseADT.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/EmptyCaseADT.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/EmptyCaseADT.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/EmptyCaseADT.hs b/plugins/hls-tactics-plugin/old/test/golden/EmptyCaseADT.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/EmptyCaseADT.hs
rename to plugins/hls-tactics-plugin/old/test/golden/EmptyCaseADT.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/EmptyCaseApply.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/EmptyCaseApply.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/EmptyCaseApply.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/EmptyCaseApply.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/EmptyCaseApply.hs b/plugins/hls-tactics-plugin/old/test/golden/EmptyCaseApply.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/EmptyCaseApply.hs
rename to plugins/hls-tactics-plugin/old/test/golden/EmptyCaseApply.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/EmptyCaseGADT.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/EmptyCaseGADT.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/EmptyCaseGADT.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/EmptyCaseGADT.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/EmptyCaseGADT.hs b/plugins/hls-tactics-plugin/old/test/golden/EmptyCaseGADT.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/EmptyCaseGADT.hs
rename to plugins/hls-tactics-plugin/old/test/golden/EmptyCaseGADT.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/EmptyCaseLamCase.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/EmptyCaseLamCase.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/EmptyCaseLamCase.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/EmptyCaseLamCase.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/EmptyCaseLamCase.hs b/plugins/hls-tactics-plugin/old/test/golden/EmptyCaseLamCase.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/EmptyCaseLamCase.hs
rename to plugins/hls-tactics-plugin/old/test/golden/EmptyCaseLamCase.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/EmptyCaseNested.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/EmptyCaseNested.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/EmptyCaseNested.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/EmptyCaseNested.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/EmptyCaseNested.hs b/plugins/hls-tactics-plugin/old/test/golden/EmptyCaseNested.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/EmptyCaseNested.hs
rename to plugins/hls-tactics-plugin/old/test/golden/EmptyCaseNested.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/EmptyCaseParens.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/EmptyCaseParens.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/EmptyCaseParens.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/EmptyCaseParens.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/EmptyCaseParens.hs b/plugins/hls-tactics-plugin/old/test/golden/EmptyCaseParens.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/EmptyCaseParens.hs
rename to plugins/hls-tactics-plugin/old/test/golden/EmptyCaseParens.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/EmptyCaseShadow.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/EmptyCaseShadow.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/EmptyCaseShadow.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/EmptyCaseShadow.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/EmptyCaseShadow.hs b/plugins/hls-tactics-plugin/old/test/golden/EmptyCaseShadow.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/EmptyCaseShadow.hs
rename to plugins/hls-tactics-plugin/old/test/golden/EmptyCaseShadow.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/EmptyCaseSpuriousGADT.hs b/plugins/hls-tactics-plugin/old/test/golden/EmptyCaseSpuriousGADT.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/EmptyCaseSpuriousGADT.hs
rename to plugins/hls-tactics-plugin/old/test/golden/EmptyCaseSpuriousGADT.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/Fgmap.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/Fgmap.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/Fgmap.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/Fgmap.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/Fgmap.hs b/plugins/hls-tactics-plugin/old/test/golden/Fgmap.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/Fgmap.hs
rename to plugins/hls-tactics-plugin/old/test/golden/Fgmap.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/FmapBoth.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/FmapBoth.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/FmapBoth.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/FmapBoth.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/FmapBoth.hs b/plugins/hls-tactics-plugin/old/test/golden/FmapBoth.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/FmapBoth.hs
rename to plugins/hls-tactics-plugin/old/test/golden/FmapBoth.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/FmapJoin.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/FmapJoin.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/FmapJoin.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/FmapJoin.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/FmapJoin.hs b/plugins/hls-tactics-plugin/old/test/golden/FmapJoin.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/FmapJoin.hs
rename to plugins/hls-tactics-plugin/old/test/golden/FmapJoin.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/FmapJoinInLet.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/FmapJoinInLet.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/FmapJoinInLet.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/FmapJoinInLet.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/FmapJoinInLet.hs b/plugins/hls-tactics-plugin/old/test/golden/FmapJoinInLet.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/FmapJoinInLet.hs
rename to plugins/hls-tactics-plugin/old/test/golden/FmapJoinInLet.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenApplicativeThen.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenApplicativeThen.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenApplicativeThen.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenApplicativeThen.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenArbitrary.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenArbitrary.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenArbitrary.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenArbitrary.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenArbitrary.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenArbitrary.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenArbitrary.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenArbitrary.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenArbitrarySingleConstructor.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenArbitrarySingleConstructor.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenArbitrarySingleConstructor.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenArbitrarySingleConstructor.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenArbitrarySingleConstructor.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenArbitrarySingleConstructor.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenArbitrarySingleConstructor.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenArbitrarySingleConstructor.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenBigTuple.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenBigTuple.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenBigTuple.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenBigTuple.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenBigTuple.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenBigTuple.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenBigTuple.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenBigTuple.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenEitherAuto.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenEitherAuto.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenEitherAuto.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenEitherAuto.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenEitherAuto.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenEitherAuto.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenEitherAuto.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenEitherAuto.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenEitherHomomorphic.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenEitherHomomorphic.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenEitherHomomorphic.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenEitherHomomorphic.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenEitherHomomorphic.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenEitherHomomorphic.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenEitherHomomorphic.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenEitherHomomorphic.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenFish.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenFish.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenFish.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenFish.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenFmapTree.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenFmapTree.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenFmapTree.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenFmapTree.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenFmapTree.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenFmapTree.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenFmapTree.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenFmapTree.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenFoldr.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenFoldr.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenFoldr.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenFoldr.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenFoldr.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenFoldr.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenFoldr.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenFoldr.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenFromMaybe.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenFromMaybe.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenFromMaybe.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenFromMaybe.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenFromMaybe.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenFromMaybe.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenFromMaybe.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenFromMaybe.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenGADTAuto.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenGADTAuto.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenGADTAuto.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenGADTAuto.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenGADTAuto.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenGADTAuto.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenGADTAuto.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenGADTAuto.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenGADTDestruct.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenGADTDestruct.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenGADTDestruct.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenGADTDestruct.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenGADTDestruct.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenGADTDestruct.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenGADTDestruct.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenGADTDestruct.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenGADTDestructCoercion.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenGADTDestructCoercion.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenGADTDestructCoercion.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenGADTDestructCoercion.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenGADTDestructCoercion.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenGADTDestructCoercion.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenGADTDestructCoercion.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenGADTDestructCoercion.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenIdTypeFam.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenIdTypeFam.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenIdTypeFam.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenIdTypeFam.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenIdTypeFam.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenIdTypeFam.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenIdTypeFam.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenIdTypeFam.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenIdentityFunctor.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenIdentityFunctor.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenIdentityFunctor.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenIdentityFunctor.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenIdentityFunctor.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenIdentityFunctor.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenIdentityFunctor.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenIdentityFunctor.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenIntros.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenIntros.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenIntros.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenIntros.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenIntros.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenIntros.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenIntros.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenIntros.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenJoinCont.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenJoinCont.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenJoinCont.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenJoinCont.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenJoinCont.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenJoinCont.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenJoinCont.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenJoinCont.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenListFmap.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenListFmap.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenListFmap.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenListFmap.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenListFmap.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenListFmap.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenListFmap.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenListFmap.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenNote.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenNote.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenNote.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenNote.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenNote.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenNote.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenNote.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenNote.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenPureList.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenPureList.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenPureList.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenPureList.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenPureList.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenPureList.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenPureList.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenPureList.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenSafeHead.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenSafeHead.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenSafeHead.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenSafeHead.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenSafeHead.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenSafeHead.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenSafeHead.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenSafeHead.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenShow.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenShow.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenShow.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenShow.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenShow.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenShow.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenShow.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenShow.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenShowCompose.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenShowCompose.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenShowCompose.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenShowCompose.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenShowCompose.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenShowCompose.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenShowCompose.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenShowCompose.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenShowMapChar.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenShowMapChar.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenShowMapChar.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenShowMapChar.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenShowMapChar.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenShowMapChar.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenShowMapChar.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenShowMapChar.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenSuperclass.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenSuperclass.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenSuperclass.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenSuperclass.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenSuperclass.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenSuperclass.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenSuperclass.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenSuperclass.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenSwap.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenSwap.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenSwap.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenSwap.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenSwap.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenSwap.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenSwap.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenSwap.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenSwapMany.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenSwapMany.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenSwapMany.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenSwapMany.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/GoldenSwapMany.hs b/plugins/hls-tactics-plugin/old/test/golden/GoldenSwapMany.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/GoldenSwapMany.hs
rename to plugins/hls-tactics-plugin/old/test/golden/GoldenSwapMany.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/IntroDestructLetBinding.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/IntroDestructLetBinding.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/IntroDestructLetBinding.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/IntroDestructLetBinding.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/IntroDestructLetBinding.hs b/plugins/hls-tactics-plugin/old/test/golden/IntroDestructLetBinding.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/IntroDestructLetBinding.hs
rename to plugins/hls-tactics-plugin/old/test/golden/IntroDestructLetBinding.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/IntroDestructMany.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/IntroDestructMany.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/IntroDestructMany.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/IntroDestructMany.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/IntroDestructMany.hs b/plugins/hls-tactics-plugin/old/test/golden/IntroDestructMany.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/IntroDestructMany.hs
rename to plugins/hls-tactics-plugin/old/test/golden/IntroDestructMany.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/IntroDestructOne.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/IntroDestructOne.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/IntroDestructOne.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/IntroDestructOne.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/IntroDestructOne.hs b/plugins/hls-tactics-plugin/old/test/golden/IntroDestructOne.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/IntroDestructOne.hs
rename to plugins/hls-tactics-plugin/old/test/golden/IntroDestructOne.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/IntroDestructProvider.hs b/plugins/hls-tactics-plugin/old/test/golden/IntroDestructProvider.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/IntroDestructProvider.hs
rename to plugins/hls-tactics-plugin/old/test/golden/IntroDestructProvider.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/IntrosTooMany.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/IntrosTooMany.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/IntrosTooMany.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/IntrosTooMany.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/IntrosTooMany.hs b/plugins/hls-tactics-plugin/old/test/golden/IntrosTooMany.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/IntrosTooMany.hs
rename to plugins/hls-tactics-plugin/old/test/golden/IntrosTooMany.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/KnownBigSemigroup.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/KnownBigSemigroup.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/KnownBigSemigroup.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/KnownBigSemigroup.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/KnownBigSemigroup.hs b/plugins/hls-tactics-plugin/old/test/golden/KnownBigSemigroup.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/KnownBigSemigroup.hs
rename to plugins/hls-tactics-plugin/old/test/golden/KnownBigSemigroup.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/KnownCounterfactualSemigroup.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/KnownCounterfactualSemigroup.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/KnownCounterfactualSemigroup.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/KnownCounterfactualSemigroup.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/KnownCounterfactualSemigroup.hs b/plugins/hls-tactics-plugin/old/test/golden/KnownCounterfactualSemigroup.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/KnownCounterfactualSemigroup.hs
rename to plugins/hls-tactics-plugin/old/test/golden/KnownCounterfactualSemigroup.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/KnownDestructedSemigroup.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/KnownDestructedSemigroup.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/KnownDestructedSemigroup.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/KnownDestructedSemigroup.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/KnownDestructedSemigroup.hs b/plugins/hls-tactics-plugin/old/test/golden/KnownDestructedSemigroup.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/KnownDestructedSemigroup.hs
rename to plugins/hls-tactics-plugin/old/test/golden/KnownDestructedSemigroup.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/KnownMissingMonoid.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/KnownMissingMonoid.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/KnownMissingMonoid.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/KnownMissingMonoid.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/KnownMissingMonoid.hs b/plugins/hls-tactics-plugin/old/test/golden/KnownMissingMonoid.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/KnownMissingMonoid.hs
rename to plugins/hls-tactics-plugin/old/test/golden/KnownMissingMonoid.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/KnownMissingSemigroup.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/KnownMissingSemigroup.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/KnownMissingSemigroup.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/KnownMissingSemigroup.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/KnownMissingSemigroup.hs b/plugins/hls-tactics-plugin/old/test/golden/KnownMissingSemigroup.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/KnownMissingSemigroup.hs
rename to plugins/hls-tactics-plugin/old/test/golden/KnownMissingSemigroup.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/KnownModuleInstanceSemigroup.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/KnownModuleInstanceSemigroup.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/KnownModuleInstanceSemigroup.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/KnownModuleInstanceSemigroup.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/KnownModuleInstanceSemigroup.hs b/plugins/hls-tactics-plugin/old/test/golden/KnownModuleInstanceSemigroup.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/KnownModuleInstanceSemigroup.hs
rename to plugins/hls-tactics-plugin/old/test/golden/KnownModuleInstanceSemigroup.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/KnownMonoid.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/KnownMonoid.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/KnownMonoid.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/KnownMonoid.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/KnownMonoid.hs b/plugins/hls-tactics-plugin/old/test/golden/KnownMonoid.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/KnownMonoid.hs
rename to plugins/hls-tactics-plugin/old/test/golden/KnownMonoid.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/KnownPolyMonoid.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/KnownPolyMonoid.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/KnownPolyMonoid.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/KnownPolyMonoid.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/KnownPolyMonoid.hs b/plugins/hls-tactics-plugin/old/test/golden/KnownPolyMonoid.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/KnownPolyMonoid.hs
rename to plugins/hls-tactics-plugin/old/test/golden/KnownPolyMonoid.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/KnownThetaSemigroup.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/KnownThetaSemigroup.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/KnownThetaSemigroup.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/KnownThetaSemigroup.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/KnownThetaSemigroup.hs b/plugins/hls-tactics-plugin/old/test/golden/KnownThetaSemigroup.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/KnownThetaSemigroup.hs
rename to plugins/hls-tactics-plugin/old/test/golden/KnownThetaSemigroup.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutBind.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutBind.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutBind.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutBind.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutBind.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutBind.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutBind.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutBind.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutDollarApp.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutDollarApp.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutDollarApp.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutDollarApp.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutDollarApp.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutDollarApp.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutDollarApp.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutDollarApp.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutInfixKeep.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutInfixKeep.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutInfixKeep.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutInfixKeep.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutInfixKeep.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutInfixKeep.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutInfixKeep.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutInfixKeep.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutLam.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutLam.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutLam.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutLam.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutLam.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutLam.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutLam.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutLam.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutOpApp.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutOpApp.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutOpApp.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutOpApp.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutOpApp.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutOpApp.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutOpApp.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutOpApp.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutPrefixKeep.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutPrefixKeep.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutPrefixKeep.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutPrefixKeep.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutPrefixKeep.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutPrefixKeep.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutPrefixKeep.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutPrefixKeep.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutRec.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutRec.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutRec.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutRec.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutRec.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutRec.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutRec.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutRec.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutSplitClass.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutSplitClass.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutSplitClass.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutSplitClass.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutSplitClass.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutSplitClass.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutSplitClass.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutSplitClass.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutSplitGuard.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutSplitGuard.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutSplitGuard.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutSplitGuard.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutSplitGuard.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutSplitGuard.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutSplitGuard.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutSplitGuard.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutSplitIn.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutSplitIn.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutSplitIn.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutSplitIn.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutSplitIn.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutSplitIn.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutSplitIn.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutSplitIn.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutSplitLet.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutSplitLet.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutSplitLet.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutSplitLet.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutSplitLet.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutSplitLet.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutSplitLet.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutSplitLet.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutSplitPatSyn.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutSplitPatSyn.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutSplitPatSyn.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutSplitPatSyn.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutSplitPatSyn.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutSplitPatSyn.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutSplitPatSyn.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutSplitPatSyn.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutSplitPattern.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutSplitPattern.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutSplitPattern.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutSplitPattern.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutSplitPattern.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutSplitPattern.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutSplitPattern.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutSplitPattern.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutSplitViewPat.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutSplitViewPat.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutSplitViewPat.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutSplitViewPat.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutSplitViewPat.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutSplitViewPat.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutSplitViewPat.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutSplitViewPat.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutSplitWhere.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutSplitWhere.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutSplitWhere.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutSplitWhere.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/LayoutSplitWhere.hs b/plugins/hls-tactics-plugin/old/test/golden/LayoutSplitWhere.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/LayoutSplitWhere.hs
rename to plugins/hls-tactics-plugin/old/test/golden/LayoutSplitWhere.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MessageCantUnify.hs b/plugins/hls-tactics-plugin/old/test/golden/MessageCantUnify.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MessageCantUnify.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MessageCantUnify.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MessageForallA.hs b/plugins/hls-tactics-plugin/old/test/golden/MessageForallA.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MessageForallA.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MessageForallA.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MessageNotEnoughGas.hs b/plugins/hls-tactics-plugin/old/test/golden/MessageNotEnoughGas.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MessageNotEnoughGas.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MessageNotEnoughGas.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaBegin.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaBegin.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaBegin.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaBegin.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaBegin.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaBegin.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaBegin.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaBegin.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaBeginNoWildify.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaBeginNoWildify.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaBeginNoWildify.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaBeginNoWildify.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaBeginNoWildify.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaBeginNoWildify.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaBeginNoWildify.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaBeginNoWildify.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaBindAll.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaBindAll.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaBindAll.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaBindAll.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaBindAll.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaBindAll.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaBindAll.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaBindAll.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaBindOne.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaBindOne.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaBindOne.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaBindOne.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaBindOne.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaBindOne.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaBindOne.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaBindOne.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaCataAST.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaCataAST.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaCataAST.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaCataAST.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaCataAST.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaCataAST.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaCataAST.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaCataAST.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaCataCollapse.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaCataCollapse.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaCataCollapse.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaCataCollapse.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaCataCollapse.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaCataCollapse.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaCataCollapse.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaCataCollapse.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaCataCollapseUnary.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaCataCollapseUnary.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaCataCollapseUnary.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaCataCollapseUnary.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaCataCollapseUnary.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaCataCollapseUnary.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaCataCollapseUnary.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaCataCollapseUnary.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaChoice.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaChoice.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaChoice.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaChoice.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaChoice.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaChoice.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaChoice.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaChoice.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaDeepOf.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaDeepOf.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaDeepOf.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaDeepOf.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaDeepOf.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaDeepOf.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaDeepOf.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaDeepOf.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaFundeps.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaFundeps.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaFundeps.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaFundeps.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaFundeps.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaFundeps.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaFundeps.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaFundeps.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaIdiom.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaIdiom.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaIdiom.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaIdiom.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaIdiom.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaIdiom.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaIdiom.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaIdiom.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaIdiomRecord.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaIdiomRecord.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaIdiomRecord.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaIdiomRecord.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaIdiomRecord.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaIdiomRecord.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaIdiomRecord.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaIdiomRecord.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaLetSimple.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaLetSimple.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaLetSimple.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaLetSimple.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaLetSimple.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaLetSimple.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaLetSimple.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaLetSimple.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaMaybeAp.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaMaybeAp.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaMaybeAp.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaMaybeAp.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaMaybeAp.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaMaybeAp.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaMaybeAp.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaMaybeAp.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaPointwise.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaPointwise.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaPointwise.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaPointwise.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaPointwise.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaPointwise.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaPointwise.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaPointwise.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaTry.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaTry.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaTry.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaTry.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaTry.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaTry.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaTry.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaTry.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaUseImport.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaUseImport.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaUseImport.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaUseImport.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaUseImport.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaUseImport.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaUseImport.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaUseImport.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaUseLocal.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaUseLocal.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaUseLocal.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaUseLocal.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaUseLocal.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaUseLocal.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaUseLocal.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaUseLocal.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaUseMethod.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaUseMethod.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaUseMethod.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaUseMethod.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaUseMethod.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaUseMethod.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaUseMethod.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaUseMethod.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaUseSymbol.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaUseSymbol.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaUseSymbol.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaUseSymbol.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaUseSymbol.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaUseSymbol.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaUseSymbol.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaUseSymbol.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaWithArg.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaWithArg.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaWithArg.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaWithArg.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/MetaWithArg.hs b/plugins/hls-tactics-plugin/old/test/golden/MetaWithArg.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/MetaWithArg.hs
rename to plugins/hls-tactics-plugin/old/test/golden/MetaWithArg.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/NewtypeRecord.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/NewtypeRecord.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/NewtypeRecord.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/NewtypeRecord.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/NewtypeRecord.hs b/plugins/hls-tactics-plugin/old/test/golden/NewtypeRecord.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/NewtypeRecord.hs
rename to plugins/hls-tactics-plugin/old/test/golden/NewtypeRecord.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/ProvideAlreadyDestructed.hs b/plugins/hls-tactics-plugin/old/test/golden/ProvideAlreadyDestructed.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/ProvideAlreadyDestructed.hs
rename to plugins/hls-tactics-plugin/old/test/golden/ProvideAlreadyDestructed.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/ProvideLocalHyOnly.hs b/plugins/hls-tactics-plugin/old/test/golden/ProvideLocalHyOnly.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/ProvideLocalHyOnly.hs
rename to plugins/hls-tactics-plugin/old/test/golden/ProvideLocalHyOnly.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/ProviderHomomorphism.hs b/plugins/hls-tactics-plugin/old/test/golden/ProviderHomomorphism.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/ProviderHomomorphism.hs
rename to plugins/hls-tactics-plugin/old/test/golden/ProviderHomomorphism.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/PunGADT.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/PunGADT.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/PunGADT.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/PunGADT.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/PunGADT.hs b/plugins/hls-tactics-plugin/old/test/golden/PunGADT.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/PunGADT.hs
rename to plugins/hls-tactics-plugin/old/test/golden/PunGADT.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/PunMany.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/PunMany.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/PunMany.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/PunMany.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/PunMany.hs b/plugins/hls-tactics-plugin/old/test/golden/PunMany.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/PunMany.hs
rename to plugins/hls-tactics-plugin/old/test/golden/PunMany.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/PunManyGADT.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/PunManyGADT.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/PunManyGADT.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/PunManyGADT.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/PunManyGADT.hs b/plugins/hls-tactics-plugin/old/test/golden/PunManyGADT.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/PunManyGADT.hs
rename to plugins/hls-tactics-plugin/old/test/golden/PunManyGADT.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/PunShadowing.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/PunShadowing.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/PunShadowing.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/PunShadowing.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/PunShadowing.hs b/plugins/hls-tactics-plugin/old/test/golden/PunShadowing.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/PunShadowing.hs
rename to plugins/hls-tactics-plugin/old/test/golden/PunShadowing.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/PunSimple.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/PunSimple.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/PunSimple.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/PunSimple.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/PunSimple.hs b/plugins/hls-tactics-plugin/old/test/golden/PunSimple.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/PunSimple.hs
rename to plugins/hls-tactics-plugin/old/test/golden/PunSimple.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/RecordCon.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/RecordCon.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/RecordCon.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/RecordCon.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/RecordCon.hs b/plugins/hls-tactics-plugin/old/test/golden/RecordCon.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/RecordCon.hs
rename to plugins/hls-tactics-plugin/old/test/golden/RecordCon.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/RefineCon.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/RefineCon.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/RefineCon.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/RefineCon.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/RefineCon.hs b/plugins/hls-tactics-plugin/old/test/golden/RefineCon.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/RefineCon.hs
rename to plugins/hls-tactics-plugin/old/test/golden/RefineCon.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/RefineGADT.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/RefineGADT.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/RefineGADT.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/RefineGADT.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/RefineGADT.hs b/plugins/hls-tactics-plugin/old/test/golden/RefineGADT.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/RefineGADT.hs
rename to plugins/hls-tactics-plugin/old/test/golden/RefineGADT.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/RefineIntro.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/RefineIntro.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/RefineIntro.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/RefineIntro.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/RefineIntro.hs b/plugins/hls-tactics-plugin/old/test/golden/RefineIntro.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/RefineIntro.hs
rename to plugins/hls-tactics-plugin/old/test/golden/RefineIntro.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/RefineIntroWhere.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/RefineIntroWhere.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/RefineIntroWhere.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/RefineIntroWhere.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/RefineIntroWhere.hs b/plugins/hls-tactics-plugin/old/test/golden/RefineIntroWhere.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/RefineIntroWhere.hs
rename to plugins/hls-tactics-plugin/old/test/golden/RefineIntroWhere.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/RefineReader.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/RefineReader.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/RefineReader.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/RefineReader.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/RefineReader.hs b/plugins/hls-tactics-plugin/old/test/golden/RefineReader.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/RefineReader.hs
rename to plugins/hls-tactics-plugin/old/test/golden/RefineReader.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/SplitPattern.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/SplitPattern.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/SplitPattern.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/SplitPattern.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/SplitPattern.hs b/plugins/hls-tactics-plugin/old/test/golden/SplitPattern.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/SplitPattern.hs
rename to plugins/hls-tactics-plugin/old/test/golden/SplitPattern.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/SubsequentTactics.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/SubsequentTactics.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/SubsequentTactics.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/SubsequentTactics.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/SubsequentTactics.hs b/plugins/hls-tactics-plugin/old/test/golden/SubsequentTactics.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/SubsequentTactics.hs
rename to plugins/hls-tactics-plugin/old/test/golden/SubsequentTactics.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/T1.hs b/plugins/hls-tactics-plugin/old/test/golden/T1.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/T1.hs
rename to plugins/hls-tactics-plugin/old/test/golden/T1.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/T2.hs b/plugins/hls-tactics-plugin/old/test/golden/T2.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/T2.hs
rename to plugins/hls-tactics-plugin/old/test/golden/T2.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/T3.hs b/plugins/hls-tactics-plugin/old/test/golden/T3.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/T3.hs
rename to plugins/hls-tactics-plugin/old/test/golden/T3.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/UseConLeft.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/UseConLeft.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/UseConLeft.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/UseConLeft.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/UseConLeft.hs b/plugins/hls-tactics-plugin/old/test/golden/UseConLeft.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/UseConLeft.hs
rename to plugins/hls-tactics-plugin/old/test/golden/UseConLeft.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/UseConPair.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/UseConPair.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/UseConPair.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/UseConPair.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/UseConPair.hs b/plugins/hls-tactics-plugin/old/test/golden/UseConPair.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/UseConPair.hs
rename to plugins/hls-tactics-plugin/old/test/golden/UseConPair.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/UseConRight.expected.hs b/plugins/hls-tactics-plugin/old/test/golden/UseConRight.expected.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/UseConRight.expected.hs
rename to plugins/hls-tactics-plugin/old/test/golden/UseConRight.expected.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/UseConRight.hs b/plugins/hls-tactics-plugin/old/test/golden/UseConRight.hs
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/UseConRight.hs
rename to plugins/hls-tactics-plugin/old/test/golden/UseConRight.hs
diff --git a/plugins/hls-tactics-plugin/test/golden/hie.yaml b/plugins/hls-tactics-plugin/old/test/golden/hie.yaml
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/hie.yaml
rename to plugins/hls-tactics-plugin/old/test/golden/hie.yaml
diff --git a/plugins/hls-tactics-plugin/test/golden/test.cabal b/plugins/hls-tactics-plugin/old/test/golden/test.cabal
similarity index 100%
rename from plugins/hls-tactics-plugin/test/golden/test.cabal
rename to plugins/hls-tactics-plugin/old/test/golden/test.cabal

From d1d3216f29ada82475643f8b652aa7cbfcb8405b Mon Sep 17 00:00:00 2001
From: Santiago Weight <santiago.weight@lmns.com>
Date: Mon, 21 Nov 2022 11:21:46 -0800
Subject: [PATCH 2/4] wip

---
 plugins/hls-tactics-plugin/hls-tactics-plugin.cabal | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/plugins/hls-tactics-plugin/hls-tactics-plugin.cabal b/plugins/hls-tactics-plugin/hls-tactics-plugin.cabal
index 3ac7fb89e3..9b2349d6ab 100644
--- a/plugins/hls-tactics-plugin/hls-tactics-plugin.cabal
+++ b/plugins/hls-tactics-plugin/hls-tactics-plugin.cabal
@@ -15,9 +15,9 @@ license-file:       LICENSE
 build-type:         Simple
 extra-source-files:
   README.md
-  test/golden/*.cabal
-  test/golden/*.hs
-  test/golden/*.yaml
+  test/old/golden/*.cabal
+  test/old/golden/*.hs
+  test/old/golden/*.yaml
 
 source-repository head
     type:     git

From 9444a7d8dd94fcd004821b518febd32508d230af Mon Sep 17 00:00:00 2001
From: Santiago Weight <santiago.weight@lmns.com>
Date: Mon, 21 Nov 2022 11:23:32 -0800
Subject: [PATCH 3/4] oops

---
 plugins/hls-tactics-plugin/hls-tactics-plugin.cabal | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/plugins/hls-tactics-plugin/hls-tactics-plugin.cabal b/plugins/hls-tactics-plugin/hls-tactics-plugin.cabal
index 9b2349d6ab..225b132f47 100644
--- a/plugins/hls-tactics-plugin/hls-tactics-plugin.cabal
+++ b/plugins/hls-tactics-plugin/hls-tactics-plugin.cabal
@@ -15,9 +15,9 @@ license-file:       LICENSE
 build-type:         Simple
 extra-source-files:
   README.md
-  test/old/golden/*.cabal
-  test/old/golden/*.hs
-  test/old/golden/*.yaml
+  old/test/golden/*.cabal
+  old/test/golden/*.hs
+  old/test/golden/*.yaml
 
 source-repository head
     type:     git

From 7b707551fbfead30dd369885f39777acbdabf55f Mon Sep 17 00:00:00 2001
From: Santiago Weight <santiago.weight@lmns.com>
Date: Mon, 21 Nov 2022 18:54:11 -0800
Subject: [PATCH 4/4] wip

---
 plugins/hls-tactics-plugin/old/test/Utils.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plugins/hls-tactics-plugin/old/test/Utils.hs b/plugins/hls-tactics-plugin/old/test/Utils.hs
index ca002f4176..db31d910cf 100644
--- a/plugins/hls-tactics-plugin/old/test/Utils.hs
+++ b/plugins/hls-tactics-plugin/old/test/Utils.hs
@@ -252,7 +252,7 @@ failing _ _ = pure ()
 
 
 tacticPath :: FilePath
-tacticPath = "test/old/golden"
+tacticPath = "old/test/golden"
 
 
 executeCommandWithResp :: Command -> Session (ResponseMessage 'WorkspaceExecuteCommand)