haskell · santiweight · Nov 22, 2022 · Nov 21, 2022 · Nov 21, 2022 · Nov 21, 2022
diff --git 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/...s-tactics-plugin/src/Ide/Plugin/Tactic.hs → ...ctics-plugin/old/src/Ide/Plugin/Tactic.hs b/...s-tactics-plugin/src/Ide/Plugin/Tactic.hs → ...ctics-plugin/old/src/Ide/Plugin/Tactic.hs
diff --git a/...hls-tactics-plugin/src/Refinery/Future.hs → ...tactics-plugin/old/src/Refinery/Future.hs b/...hls-tactics-plugin/src/Refinery/Future.hs → ...tactics-plugin/old/src/Refinery/Future.hs
diff --git a/...tactics-plugin/src/Wingman/AbstractLSP.hs → ...ics-plugin/old/src/Wingman/AbstractLSP.hs b/...tactics-plugin/src/Wingman/AbstractLSP.hs → ...ics-plugin/old/src/Wingman/AbstractLSP.hs
diff --git a/.../src/Wingman/AbstractLSP/TacticActions.hs → .../src/Wingman/AbstractLSP/TacticActions.hs b/.../src/Wingman/AbstractLSP/TacticActions.hs → .../src/Wingman/AbstractLSP/TacticActions.hs
diff --git a/...s-plugin/src/Wingman/AbstractLSP/Types.hs → ...ugin/old/src/Wingman/AbstractLSP/Types.hs b/...s-plugin/src/Wingman/AbstractLSP/Types.hs → ...ugin/old/src/Wingman/AbstractLSP/Types.hs
diff --git a/...ns/hls-tactics-plugin/src/Wingman/Auto.hs → ...ls-tactics-plugin/old/src/Wingman/Auto.hs b/...ns/hls-tactics-plugin/src/Wingman/Auto.hs → ...ls-tactics-plugin/old/src/Wingman/Auto.hs
diff --git a/...s-tactics-plugin/src/Wingman/CaseSplit.hs → ...ctics-plugin/old/src/Wingman/CaseSplit.hs b/...s-tactics-plugin/src/Wingman/CaseSplit.hs → ...ctics-plugin/old/src/Wingman/CaseSplit.hs
diff --git a/...hls-tactics-plugin/src/Wingman/CodeGen.hs → ...tactics-plugin/old/src/Wingman/CodeGen.hs b/...hls-tactics-plugin/src/Wingman/CodeGen.hs → ...tactics-plugin/old/src/Wingman/CodeGen.hs
diff --git a/...ctics-plugin/src/Wingman/CodeGen/Utils.hs → ...s-plugin/old/src/Wingman/CodeGen/Utils.hs b/...ctics-plugin/src/Wingman/CodeGen/Utils.hs → ...s-plugin/old/src/Wingman/CodeGen/Utils.hs
diff --git a/...hls-tactics-plugin/src/Wingman/Context.hs → ...tactics-plugin/old/src/Wingman/Context.hs b/...hls-tactics-plugin/src/Wingman/Context.hs → ...tactics-plugin/old/src/Wingman/Context.hs
diff --git a/...s/hls-tactics-plugin/src/Wingman/Debug.hs → ...s-tactics-plugin/old/src/Wingman/Debug.hs b/...s/hls-tactics-plugin/src/Wingman/Debug.hs → ...s-tactics-plugin/old/src/Wingman/Debug.hs
diff --git a/...s-tactics-plugin/src/Wingman/EmptyCase.hs → ...ctics-plugin/old/src/Wingman/EmptyCase.hs b/...s-tactics-plugin/src/Wingman/EmptyCase.hs → ...ctics-plugin/old/src/Wingman/EmptyCase.hs
diff --git a/...ins/hls-tactics-plugin/src/Wingman/GHC.hs → ...hls-tactics-plugin/old/src/Wingman/GHC.hs b/...ins/hls-tactics-plugin/src/Wingman/GHC.hs → ...hls-tactics-plugin/old/src/Wingman/GHC.hs
diff --git a/...-tactics-plugin/src/Wingman/Judgements.hs → ...tics-plugin/old/src/Wingman/Judgements.hs b/...-tactics-plugin/src/Wingman/Judgements.hs → ...tics-plugin/old/src/Wingman/Judgements.hs
diff --git a/...tics-plugin/src/Wingman/Judgements/SYB.hs → ...-plugin/old/src/Wingman/Judgements/SYB.hs b/...tics-plugin/src/Wingman/Judgements/SYB.hs → ...-plugin/old/src/Wingman/Judgements/SYB.hs
diff --git a/...cs-plugin/src/Wingman/Judgements/Theta.hs → ...lugin/old/src/Wingman/Judgements/Theta.hs b/...cs-plugin/src/Wingman/Judgements/Theta.hs → ...lugin/old/src/Wingman/Judgements/Theta.hs
diff --git a/...ics-plugin/src/Wingman/KnownStrategies.hs → ...plugin/old/src/Wingman/KnownStrategies.hs b/...ics-plugin/src/Wingman/KnownStrategies.hs → ...plugin/old/src/Wingman/KnownStrategies.hs
diff --git a/...src/Wingman/KnownStrategies/QuickCheck.hs → ...src/Wingman/KnownStrategies/QuickCheck.hs b/...src/Wingman/KnownStrategies/QuickCheck.hs → ...src/Wingman/KnownStrategies/QuickCheck.hs
diff --git a/...tics-plugin/src/Wingman/LanguageServer.hs → ...-plugin/old/src/Wingman/LanguageServer.hs b/...tics-plugin/src/Wingman/LanguageServer.hs → ...-plugin/old/src/Wingman/LanguageServer.hs
diff --git a/...src/Wingman/LanguageServer/Metaprogram.hs → ...src/Wingman/LanguageServer/Metaprogram.hs b/...src/Wingman/LanguageServer/Metaprogram.hs → ...src/Wingman/LanguageServer/Metaprogram.hs
diff --git a/...Wingman/LanguageServer/TacticProviders.hs → ...Wingman/LanguageServer/TacticProviders.hs b/...Wingman/LanguageServer/TacticProviders.hs → ...Wingman/LanguageServer/TacticProviders.hs
diff --git a/...s-tactics-plugin/src/Wingman/Machinery.hs → ...ctics-plugin/old/src/Wingman/Machinery.hs b/...s-tactics-plugin/src/Wingman/Machinery.hs → ...ctics-plugin/old/src/Wingman/Machinery.hs
diff --git a/...ugin/src/Wingman/Metaprogramming/Lexer.hs → .../old/src/Wingman/Metaprogramming/Lexer.hs b/...ugin/src/Wingman/Metaprogramming/Lexer.hs → .../old/src/Wingman/Metaprogramming/Lexer.hs
diff --git a/...gin/src/Wingman/Metaprogramming/Parser.hs → ...old/src/Wingman/Metaprogramming/Parser.hs b/...gin/src/Wingman/Metaprogramming/Parser.hs → ...old/src/Wingman/Metaprogramming/Parser.hs
diff --git a/...rc/Wingman/Metaprogramming/Parser.hs-boot → ...rc/Wingman/Metaprogramming/Parser.hs-boot b/...rc/Wingman/Metaprogramming/Parser.hs-boot → ...rc/Wingman/Metaprogramming/Parser.hs-boot
diff --git a/...n/Metaprogramming/Parser/Documentation.hs → ...n/Metaprogramming/Parser/Documentation.hs b/...n/Metaprogramming/Parser/Documentation.hs → ...n/Metaprogramming/Parser/Documentation.hs
diff --git a/...src/Wingman/Metaprogramming/ProofState.hs → ...src/Wingman/Metaprogramming/ProofState.hs b/...src/Wingman/Metaprogramming/ProofState.hs → ...src/Wingman/Metaprogramming/ProofState.hs
diff --git a/.../hls-tactics-plugin/src/Wingman/Naming.hs → ...-tactics-plugin/old/src/Wingman/Naming.hs b/.../hls-tactics-plugin/src/Wingman/Naming.hs → ...-tactics-plugin/old/src/Wingman/Naming.hs
diff --git a/.../hls-tactics-plugin/src/Wingman/Plugin.hs → ...-tactics-plugin/old/src/Wingman/Plugin.hs b/.../hls-tactics-plugin/src/Wingman/Plugin.hs → ...-tactics-plugin/old/src/Wingman/Plugin.hs
diff --git a/...s/hls-tactics-plugin/src/Wingman/Range.hs → ...s-tactics-plugin/old/src/Wingman/Range.hs b/...s/hls-tactics-plugin/src/Wingman/Range.hs → ...s-tactics-plugin/old/src/Wingman/Range.hs
diff --git a/...ls-tactics-plugin/src/Wingman/Simplify.hs → ...actics-plugin/old/src/Wingman/Simplify.hs b/...ls-tactics-plugin/src/Wingman/Simplify.hs → ...actics-plugin/old/src/Wingman/Simplify.hs
diff --git a/...actics-plugin/src/Wingman/StaticPlugin.hs → ...cs-plugin/old/src/Wingman/StaticPlugin.hs b/...actics-plugin/src/Wingman/StaticPlugin.hs → ...cs-plugin/old/src/Wingman/StaticPlugin.hs
diff --git a/...hls-tactics-plugin/src/Wingman/Tactics.hs → ...tactics-plugin/old/src/Wingman/Tactics.hs b/...hls-tactics-plugin/src/Wingman/Tactics.hs → ...tactics-plugin/old/src/Wingman/Tactics.hs
diff --git a/...s/hls-tactics-plugin/src/Wingman/Types.hs → ...s-tactics-plugin/old/src/Wingman/Types.hs b/...s/hls-tactics-plugin/src/Wingman/Types.hs → ...s-tactics-plugin/old/src/Wingman/Types.hs
diff --git a/.../hls-tactics-plugin/test/AutoTupleSpec.hs → ...-tactics-plugin/old/test/AutoTupleSpec.hs b/.../hls-tactics-plugin/test/AutoTupleSpec.hs → ...-tactics-plugin/old/test/AutoTupleSpec.hs
diff --git a/...actics-plugin/test/CodeAction/AutoSpec.hs → ...cs-plugin/old/test/CodeAction/AutoSpec.hs b/...actics-plugin/test/CodeAction/AutoSpec.hs → ...cs-plugin/old/test/CodeAction/AutoSpec.hs
diff --git a/...plugin/test/CodeAction/DestructAllSpec.hs → ...in/old/test/CodeAction/DestructAllSpec.hs b/...plugin/test/CodeAction/DestructAllSpec.hs → ...in/old/test/CodeAction/DestructAllSpec.hs
diff --git a/...plugin/test/CodeAction/DestructPunSpec.hs → ...in/old/test/CodeAction/DestructPunSpec.hs b/...plugin/test/CodeAction/DestructPunSpec.hs → ...in/old/test/CodeAction/DestructPunSpec.hs
diff --git a/...cs-plugin/test/CodeAction/DestructSpec.hs → ...lugin/old/test/CodeAction/DestructSpec.hs b/...cs-plugin/test/CodeAction/DestructSpec.hs → ...lugin/old/test/CodeAction/DestructSpec.hs
diff --git a/...ugin/test/CodeAction/IntroDestructSpec.hs → .../old/test/CodeAction/IntroDestructSpec.hs b/...ugin/test/CodeAction/IntroDestructSpec.hs → .../old/test/CodeAction/IntroDestructSpec.hs
diff --git a/...tics-plugin/test/CodeAction/IntrosSpec.hs → ...-plugin/old/test/CodeAction/IntrosSpec.hs b/...tics-plugin/test/CodeAction/IntrosSpec.hs → ...-plugin/old/test/CodeAction/IntrosSpec.hs
diff --git a/...tics-plugin/test/CodeAction/RefineSpec.hs → ...-plugin/old/test/CodeAction/RefineSpec.hs b/...tics-plugin/test/CodeAction/RefineSpec.hs → ...-plugin/old/test/CodeAction/RefineSpec.hs
diff --git a/...gin/test/CodeAction/RunMetaprogramSpec.hs → ...old/test/CodeAction/RunMetaprogramSpec.hs b/...gin/test/CodeAction/RunMetaprogramSpec.hs → ...old/test/CodeAction/RunMetaprogramSpec.hs
diff --git a/...-plugin/test/CodeAction/UseDataConSpec.hs → ...gin/old/test/CodeAction/UseDataConSpec.hs b/...-plugin/test/CodeAction/UseDataConSpec.hs → ...gin/old/test/CodeAction/UseDataConSpec.hs
diff --git a/...ics-plugin/test/CodeLens/EmptyCaseSpec.hs → ...plugin/old/test/CodeLens/EmptyCaseSpec.hs b/...ics-plugin/test/CodeLens/EmptyCaseSpec.hs → ...plugin/old/test/CodeLens/EmptyCaseSpec.hs
diff --git a/plugins/hls-tactics-plugin/test/Main.hs → plugins/hls-tactics-plugin/old/test/Main.hs b/plugins/hls-tactics-plugin/test/Main.hs → plugins/hls-tactics-plugin/old/test/Main.hs
diff --git a/...s/hls-tactics-plugin/test/ProviderSpec.hs → ...s-tactics-plugin/old/test/ProviderSpec.hs b/...s/hls-tactics-plugin/test/ProviderSpec.hs → ...s-tactics-plugin/old/test/ProviderSpec.hs
diff --git a/plugins/hls-tactics-plugin/test/Spec.hs → plugins/hls-tactics-plugin/old/test/Spec.hs b/plugins/hls-tactics-plugin/test/Spec.hs → plugins/hls-tactics-plugin/old/test/Spec.hs
diff --git a/...ls-tactics-plugin/test/UnificationSpec.hs → ...actics-plugin/old/test/UnificationSpec.hs b/...ls-tactics-plugin/test/UnificationSpec.hs → ...actics-plugin/old/test/UnificationSpec.hs
diff --git a/plugins/hls-tactics-plugin/test/Utils.hs → plugins/hls-tactics-plugin/old/test/Utils.hs b/plugins/hls-tactics-plugin/test/Utils.hs → 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/...n/test/golden/AutoEmptyString.expected.hs → ...d/test/golden/AutoEmptyString.expected.hs b/...n/test/golden/AutoEmptyString.expected.hs → ...d/test/golden/AutoEmptyString.expected.hs
diff --git a/...ics-plugin/test/golden/AutoEmptyString.hs → ...plugin/old/test/golden/AutoEmptyString.hs b/...ics-plugin/test/golden/AutoEmptyString.hs → ...plugin/old/test/golden/AutoEmptyString.hs
diff --git a/...s-plugin/test/golden/AutoEndo.expected.hs → ...ugin/old/test/golden/AutoEndo.expected.hs b/...s-plugin/test/golden/AutoEndo.expected.hs → ...ugin/old/test/golden/AutoEndo.expected.hs
diff --git a/...ls-tactics-plugin/test/golden/AutoEndo.hs → ...actics-plugin/old/test/golden/AutoEndo.hs b/...ls-tactics-plugin/test/golden/AutoEndo.hs → ...actics-plugin/old/test/golden/AutoEndo.hs
diff --git a/.../golden/AutoForallClassMethod.expected.hs → .../golden/AutoForallClassMethod.expected.hs b/.../golden/AutoForallClassMethod.expected.hs → .../golden/AutoForallClassMethod.expected.hs
diff --git a/...ugin/test/golden/AutoForallClassMethod.hs → .../old/test/golden/AutoForallClassMethod.hs b/...ugin/test/golden/AutoForallClassMethod.hs → .../old/test/golden/AutoForallClassMethod.hs
diff --git a/...in/test/golden/AutoInfixApply.expected.hs → ...ld/test/golden/AutoInfixApply.expected.hs b/...in/test/golden/AutoInfixApply.expected.hs → ...ld/test/golden/AutoInfixApply.expected.hs
diff --git a/...tics-plugin/test/golden/AutoInfixApply.hs → ...-plugin/old/test/golden/AutoInfixApply.hs b/...tics-plugin/test/golden/AutoInfixApply.hs → ...-plugin/old/test/golden/AutoInfixApply.hs
diff --git a/...est/golden/AutoInfixApplyMany.expected.hs → ...est/golden/AutoInfixApplyMany.expected.hs b/...est/golden/AutoInfixApplyMany.expected.hs → ...est/golden/AutoInfixApplyMany.expected.hs
diff --git a/...-plugin/test/golden/AutoInfixApplyMany.hs → ...gin/old/test/golden/AutoInfixApplyMany.hs b/...-plugin/test/golden/AutoInfixApplyMany.hs → ...gin/old/test/golden/AutoInfixApplyMany.hs
diff --git a/...in/test/golden/AutoInfixInfix.expected.hs → ...ld/test/golden/AutoInfixInfix.expected.hs b/...in/test/golden/AutoInfixInfix.expected.hs → ...ld/test/golden/AutoInfixInfix.expected.hs
diff --git a/...tics-plugin/test/golden/AutoInfixInfix.hs → ...-plugin/old/test/golden/AutoInfixInfix.hs b/...tics-plugin/test/golden/AutoInfixInfix.hs → ...-plugin/old/test/golden/AutoInfixInfix.hs
diff --git a/...gin/test/golden/AutoPatSynUse.expected.hs → ...old/test/golden/AutoPatSynUse.expected.hs b/...gin/test/golden/AutoPatSynUse.expected.hs → ...old/test/golden/AutoPatSynUse.expected.hs
diff --git a/...ctics-plugin/test/golden/AutoPatSynUse.hs → ...s-plugin/old/test/golden/AutoPatSynUse.hs b/...ctics-plugin/test/golden/AutoPatSynUse.hs → ...s-plugin/old/test/golden/AutoPatSynUse.hs
diff --git a/...gin/test/golden/AutoSplitGADT.expected.hs → ...old/test/golden/AutoSplitGADT.expected.hs b/...gin/test/golden/AutoSplitGADT.expected.hs → ...old/test/golden/AutoSplitGADT.expected.hs
diff --git a/...ctics-plugin/test/golden/AutoSplitGADT.hs → ...s-plugin/old/test/golden/AutoSplitGADT.hs b/...ctics-plugin/test/golden/AutoSplitGADT.hs → ...s-plugin/old/test/golden/AutoSplitGADT.hs
diff --git a/...in/test/golden/AutoThetaEqCtx.expected.hs → ...ld/test/golden/AutoThetaEqCtx.expected.hs b/...in/test/golden/AutoThetaEqCtx.expected.hs → ...ld/test/golden/AutoThetaEqCtx.expected.hs
diff --git a/...tics-plugin/test/golden/AutoThetaEqCtx.hs → ...-plugin/old/test/golden/AutoThetaEqCtx.hs b/...tics-plugin/test/golden/AutoThetaEqCtx.hs → ...-plugin/old/test/golden/AutoThetaEqCtx.hs
diff --git a/...n/test/golden/AutoThetaEqGADT.expected.hs → ...d/test/golden/AutoThetaEqGADT.expected.hs b/...n/test/golden/AutoThetaEqGADT.expected.hs → ...d/test/golden/AutoThetaEqGADT.expected.hs
diff --git a/...ics-plugin/test/golden/AutoThetaEqGADT.hs → ...plugin/old/test/golden/AutoThetaEqGADT.hs b/...ics-plugin/test/golden/AutoThetaEqGADT.hs → ...plugin/old/test/golden/AutoThetaEqGADT.hs
diff --git a/...olden/AutoThetaEqGADTDestruct.expected.hs → ...olden/AutoThetaEqGADTDestruct.expected.hs b/...olden/AutoThetaEqGADTDestruct.expected.hs → ...olden/AutoThetaEqGADTDestruct.expected.hs
diff --git a/...in/test/golden/AutoThetaEqGADTDestruct.hs → ...ld/test/golden/AutoThetaEqGADTDestruct.hs b/...in/test/golden/AutoThetaEqGADTDestruct.hs → ...ld/test/golden/AutoThetaEqGADTDestruct.hs
diff --git a/...ugin/test/golden/AutoThetaFix.expected.hs → .../old/test/golden/AutoThetaFix.expected.hs b/...ugin/test/golden/AutoThetaFix.expected.hs → .../old/test/golden/AutoThetaFix.expected.hs
diff --git a/...actics-plugin/test/golden/AutoThetaFix.hs → ...cs-plugin/old/test/golden/AutoThetaFix.hs b/...actics-plugin/test/golden/AutoThetaFix.hs → ...cs-plugin/old/test/golden/AutoThetaFix.hs
diff --git a/...gin/test/golden/AutoThetaGADT.expected.hs → ...old/test/golden/AutoThetaGADT.expected.hs b/...gin/test/golden/AutoThetaGADT.expected.hs → ...old/test/golden/AutoThetaGADT.expected.hs
diff --git a/...ctics-plugin/test/golden/AutoThetaGADT.hs → ...s-plugin/old/test/golden/AutoThetaGADT.hs b/...ctics-plugin/test/golden/AutoThetaGADT.hs → ...s-plugin/old/test/golden/AutoThetaGADT.hs
diff --git a/.../golden/AutoThetaGADTDestruct.expected.hs → .../golden/AutoThetaGADTDestruct.expected.hs b/.../golden/AutoThetaGADTDestruct.expected.hs → .../golden/AutoThetaGADTDestruct.expected.hs
diff --git a/...ugin/test/golden/AutoThetaGADTDestruct.hs → .../old/test/golden/AutoThetaGADTDestruct.hs b/...ugin/test/golden/AutoThetaGADTDestruct.hs → .../old/test/golden/AutoThetaGADTDestruct.hs
diff --git a/.../AutoThetaMultipleUnification.expected.hs → .../AutoThetaMultipleUnification.expected.hs b/.../AutoThetaMultipleUnification.expected.hs → .../AutoThetaMultipleUnification.expected.hs
diff --git a/...st/golden/AutoThetaMultipleUnification.hs → ...st/golden/AutoThetaMultipleUnification.hs b/...st/golden/AutoThetaMultipleUnification.hs → ...st/golden/AutoThetaMultipleUnification.hs
diff --git a/...in/test/golden/AutoThetaRankN.expected.hs → ...ld/test/golden/AutoThetaRankN.expected.hs b/...in/test/golden/AutoThetaRankN.expected.hs → ...ld/test/golden/AutoThetaRankN.expected.hs
diff --git a/...tics-plugin/test/golden/AutoThetaRankN.hs → ...-plugin/old/test/golden/AutoThetaRankN.hs b/...tics-plugin/test/golden/AutoThetaRankN.hs → ...-plugin/old/test/golden/AutoThetaRankN.hs
diff --git a/...gin/test/golden/AutoThetaRefl.expected.hs → ...old/test/golden/AutoThetaRefl.expected.hs b/...gin/test/golden/AutoThetaRefl.expected.hs → ...old/test/golden/AutoThetaRefl.expected.hs
diff --git a/...ctics-plugin/test/golden/AutoThetaRefl.hs → ...s-plugin/old/test/golden/AutoThetaRefl.hs b/...ctics-plugin/test/golden/AutoThetaRefl.hs → ...s-plugin/old/test/golden/AutoThetaRefl.hs
diff --git a/.../golden/AutoThetaReflDestruct.expected.hs → .../golden/AutoThetaReflDestruct.expected.hs b/.../golden/AutoThetaReflDestruct.expected.hs → .../golden/AutoThetaReflDestruct.expected.hs
diff --git a/...ugin/test/golden/AutoThetaReflDestruct.hs → .../old/test/golden/AutoThetaReflDestruct.hs b/...ugin/test/golden/AutoThetaReflDestruct.hs → .../old/test/golden/AutoThetaReflDestruct.hs
diff --git a/...den/AutoThetaSplitUnification.expected.hs → ...den/AutoThetaSplitUnification.expected.hs b/...den/AutoThetaSplitUnification.expected.hs → ...den/AutoThetaSplitUnification.expected.hs
diff --git a/.../test/golden/AutoThetaSplitUnification.hs → .../test/golden/AutoThetaSplitUnification.hs b/.../test/golden/AutoThetaSplitUnification.hs → .../test/golden/AutoThetaSplitUnification.hs
diff --git a/...gin/test/golden/AutoTypeLevel.expected.hs → ...old/test/golden/AutoTypeLevel.expected.hs b/...gin/test/golden/AutoTypeLevel.expected.hs → ...old/test/golden/AutoTypeLevel.expected.hs
diff --git a/...ctics-plugin/test/golden/AutoTypeLevel.hs → ...s-plugin/old/test/golden/AutoTypeLevel.hs b/...ctics-plugin/test/golden/AutoTypeLevel.hs → ...s-plugin/old/test/golden/AutoTypeLevel.hs
diff --git a/...golden/AutoUnusedPatternMatch.expected.hs → ...golden/AutoUnusedPatternMatch.expected.hs b/...golden/AutoUnusedPatternMatch.expected.hs → ...golden/AutoUnusedPatternMatch.expected.hs
diff --git a/...gin/test/golden/AutoUnusedPatternMatch.hs → ...old/test/golden/AutoUnusedPatternMatch.hs b/...gin/test/golden/AutoUnusedPatternMatch.hs → ...old/test/golden/AutoUnusedPatternMatch.hs
diff --git a/...cs-plugin/test/golden/AutoZip.expected.hs → ...lugin/old/test/golden/AutoZip.expected.hs b/...cs-plugin/test/golden/AutoZip.expected.hs → ...lugin/old/test/golden/AutoZip.expected.hs
diff --git a/...hls-tactics-plugin/test/golden/AutoZip.hs → ...tactics-plugin/old/test/golden/AutoZip.hs b/...hls-tactics-plugin/test/golden/AutoZip.hs → ...tactics-plugin/old/test/golden/AutoZip.hs
diff --git a/...actics-plugin/test/golden/ConProviders.hs → ...cs-plugin/old/test/golden/ConProviders.hs b/...actics-plugin/test/golden/ConProviders.hs → ...cs-plugin/old/test/golden/ConProviders.hs
diff --git a/...in/test/golden/DestructAllAnd.expected.hs → ...ld/test/golden/DestructAllAnd.expected.hs b/...in/test/golden/DestructAllAnd.expected.hs → ...ld/test/golden/DestructAllAnd.expected.hs
diff --git a/...tics-plugin/test/golden/DestructAllAnd.hs → ...-plugin/old/test/golden/DestructAllAnd.hs b/...tics-plugin/test/golden/DestructAllAnd.hs → ...-plugin/old/test/golden/DestructAllAnd.hs
diff --git a/...n/test/golden/DestructAllFunc.expected.hs → ...d/test/golden/DestructAllFunc.expected.hs b/...n/test/golden/DestructAllFunc.expected.hs → ...d/test/golden/DestructAllFunc.expected.hs
diff --git a/...ics-plugin/test/golden/DestructAllFunc.hs → ...plugin/old/test/golden/DestructAllFunc.hs b/...ics-plugin/test/golden/DestructAllFunc.hs → ...plugin/old/test/golden/DestructAllFunc.hs
diff --git a/...olden/DestructAllGADTEvidence.expected.hs → ...olden/DestructAllGADTEvidence.expected.hs b/...olden/DestructAllGADTEvidence.expected.hs → ...olden/DestructAllGADTEvidence.expected.hs
diff --git a/...in/test/golden/DestructAllGADTEvidence.hs → ...ld/test/golden/DestructAllGADTEvidence.hs b/...in/test/golden/DestructAllGADTEvidence.hs → ...ld/test/golden/DestructAllGADTEvidence.hs
diff --git a/...n/test/golden/DestructAllMany.expected.hs → ...d/test/golden/DestructAllMany.expected.hs b/...n/test/golden/DestructAllMany.expected.hs → ...d/test/golden/DestructAllMany.expected.hs
diff --git a/...ics-plugin/test/golden/DestructAllMany.hs → ...plugin/old/test/golden/DestructAllMany.hs b/...ics-plugin/test/golden/DestructAllMany.hs → ...plugin/old/test/golden/DestructAllMany.hs
diff --git a/...den/DestructAllNonVarTopMatch.expected.hs → ...den/DestructAllNonVarTopMatch.expected.hs b/...den/DestructAllNonVarTopMatch.expected.hs → ...den/DestructAllNonVarTopMatch.expected.hs
diff --git a/.../test/golden/DestructAllNonVarTopMatch.hs → .../test/golden/DestructAllNonVarTopMatch.hs b/.../test/golden/DestructAllNonVarTopMatch.hs → .../test/golden/DestructAllNonVarTopMatch.hs
diff --git a/...plugin/test/golden/DestructAllProvider.hs → ...in/old/test/golden/DestructAllProvider.hs b/...plugin/test/golden/DestructAllProvider.hs → ...in/old/test/golden/DestructAllProvider.hs
diff --git a/...n/test/golden/DestructCthulhu.expected.hs → ...d/test/golden/DestructCthulhu.expected.hs b/...n/test/golden/DestructCthulhu.expected.hs → ...d/test/golden/DestructCthulhu.expected.hs
diff --git a/...ics-plugin/test/golden/DestructCthulhu.hs → ...plugin/old/test/golden/DestructCthulhu.hs b/...ics-plugin/test/golden/DestructCthulhu.hs → ...plugin/old/test/golden/DestructCthulhu.hs
diff --git a/...n/test/golden/DestructDataFam.expected.hs → ...d/test/golden/DestructDataFam.expected.hs b/...n/test/golden/DestructDataFam.expected.hs → ...d/test/golden/DestructDataFam.expected.hs
diff --git a/...ics-plugin/test/golden/DestructDataFam.hs → ...plugin/old/test/golden/DestructDataFam.hs b/...ics-plugin/test/golden/DestructDataFam.hs → ...plugin/old/test/golden/DestructDataFam.hs
diff --git a/...lugin/test/golden/DestructInt.expected.hs → ...n/old/test/golden/DestructInt.expected.hs b/...lugin/test/golden/DestructInt.expected.hs → ...n/old/test/golden/DestructInt.expected.hs
diff --git a/...tactics-plugin/test/golden/DestructInt.hs → ...ics-plugin/old/test/golden/DestructInt.hs b/...tactics-plugin/test/golden/DestructInt.hs → ...ics-plugin/old/test/golden/DestructInt.hs
diff --git a/...lugin/test/golden/DestructPun.expected.hs → ...n/old/test/golden/DestructPun.expected.hs b/...lugin/test/golden/DestructPun.expected.hs → ...n/old/test/golden/DestructPun.expected.hs
diff --git a/...tactics-plugin/test/golden/DestructPun.hs → ...ics-plugin/old/test/golden/DestructPun.hs b/...tactics-plugin/test/golden/DestructPun.hs → ...ics-plugin/old/test/golden/DestructPun.hs
diff --git a/...gin/test/golden/DestructTyFam.expected.hs → ...old/test/golden/DestructTyFam.expected.hs b/...gin/test/golden/DestructTyFam.expected.hs → ...old/test/golden/DestructTyFam.expected.hs
diff --git a/...ctics-plugin/test/golden/DestructTyFam.hs → ...s-plugin/old/test/golden/DestructTyFam.hs b/...ctics-plugin/test/golden/DestructTyFam.hs → ...s-plugin/old/test/golden/DestructTyFam.hs
diff --git a/...st/golden/DestructTyToDataFam.expected.hs → ...st/golden/DestructTyToDataFam.expected.hs b/...st/golden/DestructTyToDataFam.expected.hs → ...st/golden/DestructTyToDataFam.expected.hs
diff --git a/...plugin/test/golden/DestructTyToDataFam.hs → ...in/old/test/golden/DestructTyToDataFam.hs b/...plugin/test/golden/DestructTyToDataFam.hs → ...in/old/test/golden/DestructTyToDataFam.hs
diff --git a/...ugin/test/golden/EmptyCaseADT.expected.hs → .../old/test/golden/EmptyCaseADT.expected.hs b/...ugin/test/golden/EmptyCaseADT.expected.hs → .../old/test/golden/EmptyCaseADT.expected.hs
diff --git a/...actics-plugin/test/golden/EmptyCaseADT.hs → ...cs-plugin/old/test/golden/EmptyCaseADT.hs b/...actics-plugin/test/golden/EmptyCaseADT.hs → ...cs-plugin/old/test/golden/EmptyCaseADT.hs
diff --git a/...in/test/golden/EmptyCaseApply.expected.hs → ...ld/test/golden/EmptyCaseApply.expected.hs b/...in/test/golden/EmptyCaseApply.expected.hs → ...ld/test/golden/EmptyCaseApply.expected.hs
diff --git a/...tics-plugin/test/golden/EmptyCaseApply.hs → ...-plugin/old/test/golden/EmptyCaseApply.hs b/...tics-plugin/test/golden/EmptyCaseApply.hs → ...-plugin/old/test/golden/EmptyCaseApply.hs
diff --git a/...gin/test/golden/EmptyCaseGADT.expected.hs → ...old/test/golden/EmptyCaseGADT.expected.hs b/...gin/test/golden/EmptyCaseGADT.expected.hs → ...old/test/golden/EmptyCaseGADT.expected.hs
diff --git a/...ctics-plugin/test/golden/EmptyCaseGADT.hs → ...s-plugin/old/test/golden/EmptyCaseGADT.hs b/...ctics-plugin/test/golden/EmptyCaseGADT.hs → ...s-plugin/old/test/golden/EmptyCaseGADT.hs
diff --git a/.../test/golden/EmptyCaseLamCase.expected.hs → .../test/golden/EmptyCaseLamCase.expected.hs b/.../test/golden/EmptyCaseLamCase.expected.hs → .../test/golden/EmptyCaseLamCase.expected.hs
diff --git a/...cs-plugin/test/golden/EmptyCaseLamCase.hs → ...lugin/old/test/golden/EmptyCaseLamCase.hs b/...cs-plugin/test/golden/EmptyCaseLamCase.hs → ...lugin/old/test/golden/EmptyCaseLamCase.hs
diff --git a/...n/test/golden/EmptyCaseNested.expected.hs → ...d/test/golden/EmptyCaseNested.expected.hs b/...n/test/golden/EmptyCaseNested.expected.hs → ...d/test/golden/EmptyCaseNested.expected.hs
diff --git a/...ics-plugin/test/golden/EmptyCaseNested.hs → ...plugin/old/test/golden/EmptyCaseNested.hs b/...ics-plugin/test/golden/EmptyCaseNested.hs → ...plugin/old/test/golden/EmptyCaseNested.hs
diff --git a/...n/test/golden/EmptyCaseParens.expected.hs → ...d/test/golden/EmptyCaseParens.expected.hs b/...n/test/golden/EmptyCaseParens.expected.hs → ...d/test/golden/EmptyCaseParens.expected.hs
diff --git a/...ics-plugin/test/golden/EmptyCaseParens.hs → ...plugin/old/test/golden/EmptyCaseParens.hs b/...ics-plugin/test/golden/EmptyCaseParens.hs → ...plugin/old/test/golden/EmptyCaseParens.hs
diff --git a/...n/test/golden/EmptyCaseShadow.expected.hs → ...d/test/golden/EmptyCaseShadow.expected.hs b/...n/test/golden/EmptyCaseShadow.expected.hs → ...d/test/golden/EmptyCaseShadow.expected.hs
diff --git a/...ics-plugin/test/golden/EmptyCaseShadow.hs → ...plugin/old/test/golden/EmptyCaseShadow.hs b/...ics-plugin/test/golden/EmptyCaseShadow.hs → ...plugin/old/test/golden/EmptyCaseShadow.hs
diff --git a/...ugin/test/golden/EmptyCaseSpuriousGADT.hs → .../old/test/golden/EmptyCaseSpuriousGADT.hs b/...ugin/test/golden/EmptyCaseSpuriousGADT.hs → .../old/test/golden/EmptyCaseSpuriousGADT.hs
diff --git a/...tics-plugin/test/golden/Fgmap.expected.hs → ...-plugin/old/test/golden/Fgmap.expected.hs b/...tics-plugin/test/golden/Fgmap.expected.hs → ...-plugin/old/test/golden/Fgmap.expected.hs
diff --git a/...s/hls-tactics-plugin/test/golden/Fgmap.hs → ...s-tactics-plugin/old/test/golden/Fgmap.hs b/...s/hls-tactics-plugin/test/golden/Fgmap.hs → ...s-tactics-plugin/old/test/golden/Fgmap.hs
diff --git a/...s-plugin/test/golden/FmapBoth.expected.hs → ...ugin/old/test/golden/FmapBoth.expected.hs b/...s-plugin/test/golden/FmapBoth.expected.hs → ...ugin/old/test/golden/FmapBoth.expected.hs
diff --git a/...ls-tactics-plugin/test/golden/FmapBoth.hs → ...actics-plugin/old/test/golden/FmapBoth.hs b/...ls-tactics-plugin/test/golden/FmapBoth.hs → ...actics-plugin/old/test/golden/FmapBoth.hs
diff --git a/...s-plugin/test/golden/FmapJoin.expected.hs → ...ugin/old/test/golden/FmapJoin.expected.hs b/...s-plugin/test/golden/FmapJoin.expected.hs → ...ugin/old/test/golden/FmapJoin.expected.hs
diff --git a/...ls-tactics-plugin/test/golden/FmapJoin.hs → ...actics-plugin/old/test/golden/FmapJoin.hs b/...ls-tactics-plugin/test/golden/FmapJoin.hs → ...actics-plugin/old/test/golden/FmapJoin.hs
diff --git a/...gin/test/golden/FmapJoinInLet.expected.hs → ...old/test/golden/FmapJoinInLet.expected.hs b/...gin/test/golden/FmapJoinInLet.expected.hs → ...old/test/golden/FmapJoinInLet.expected.hs
diff --git a/...ctics-plugin/test/golden/FmapJoinInLet.hs → ...s-plugin/old/test/golden/FmapJoinInLet.hs b/...ctics-plugin/test/golden/FmapJoinInLet.hs → ...s-plugin/old/test/golden/FmapJoinInLet.hs
diff --git a/...ugin/test/golden/GoldenApplicativeThen.hs → .../old/test/golden/GoldenApplicativeThen.hs b/...ugin/test/golden/GoldenApplicativeThen.hs → .../old/test/golden/GoldenApplicativeThen.hs
diff --git a/...n/test/golden/GoldenArbitrary.expected.hs → ...d/test/golden/GoldenArbitrary.expected.hs b/...n/test/golden/GoldenArbitrary.expected.hs → ...d/test/golden/GoldenArbitrary.expected.hs
diff --git a/...ics-plugin/test/golden/GoldenArbitrary.hs → ...plugin/old/test/golden/GoldenArbitrary.hs b/...ics-plugin/test/golden/GoldenArbitrary.hs → ...plugin/old/test/golden/GoldenArbitrary.hs
diff --git a/...denArbitrarySingleConstructor.expected.hs → ...denArbitrarySingleConstructor.expected.hs b/...denArbitrarySingleConstructor.expected.hs → ...denArbitrarySingleConstructor.expected.hs
diff --git a/...olden/GoldenArbitrarySingleConstructor.hs → ...olden/GoldenArbitrarySingleConstructor.hs b/...olden/GoldenArbitrarySingleConstructor.hs → ...olden/GoldenArbitrarySingleConstructor.hs
diff --git a/...in/test/golden/GoldenBigTuple.expected.hs → ...ld/test/golden/GoldenBigTuple.expected.hs b/...in/test/golden/GoldenBigTuple.expected.hs → ...ld/test/golden/GoldenBigTuple.expected.hs
diff --git a/...tics-plugin/test/golden/GoldenBigTuple.hs → ...-plugin/old/test/golden/GoldenBigTuple.hs b/...tics-plugin/test/golden/GoldenBigTuple.hs → ...-plugin/old/test/golden/GoldenBigTuple.hs
diff --git a/.../test/golden/GoldenEitherAuto.expected.hs → .../test/golden/GoldenEitherAuto.expected.hs b/.../test/golden/GoldenEitherAuto.expected.hs → .../test/golden/GoldenEitherAuto.expected.hs
diff --git a/...cs-plugin/test/golden/GoldenEitherAuto.hs → ...lugin/old/test/golden/GoldenEitherAuto.hs b/...cs-plugin/test/golden/GoldenEitherAuto.hs → ...lugin/old/test/golden/GoldenEitherAuto.hs
diff --git a/...olden/GoldenEitherHomomorphic.expected.hs → ...olden/GoldenEitherHomomorphic.expected.hs b/...olden/GoldenEitherHomomorphic.expected.hs → ...olden/GoldenEitherHomomorphic.expected.hs
diff --git a/...in/test/golden/GoldenEitherHomomorphic.hs → ...ld/test/golden/GoldenEitherHomomorphic.hs b/...in/test/golden/GoldenEitherHomomorphic.hs → ...ld/test/golden/GoldenEitherHomomorphic.hs
diff --git a/...-tactics-plugin/test/golden/GoldenFish.hs → ...tics-plugin/old/test/golden/GoldenFish.hs b/...-tactics-plugin/test/golden/GoldenFish.hs → ...tics-plugin/old/test/golden/GoldenFish.hs
diff --git a/...in/test/golden/GoldenFmapTree.expected.hs → ...ld/test/golden/GoldenFmapTree.expected.hs b/...in/test/golden/GoldenFmapTree.expected.hs → ...ld/test/golden/GoldenFmapTree.expected.hs
diff --git a/...tics-plugin/test/golden/GoldenFmapTree.hs → ...-plugin/old/test/golden/GoldenFmapTree.hs b/...tics-plugin/test/golden/GoldenFmapTree.hs → ...-plugin/old/test/golden/GoldenFmapTree.hs
diff --git a/...lugin/test/golden/GoldenFoldr.expected.hs → ...n/old/test/golden/GoldenFoldr.expected.hs b/...lugin/test/golden/GoldenFoldr.expected.hs → ...n/old/test/golden/GoldenFoldr.expected.hs
diff --git a/...tactics-plugin/test/golden/GoldenFoldr.hs → ...ics-plugin/old/test/golden/GoldenFoldr.hs b/...tactics-plugin/test/golden/GoldenFoldr.hs → ...ics-plugin/old/test/golden/GoldenFoldr.hs
diff --git a/...n/test/golden/GoldenFromMaybe.expected.hs → ...d/test/golden/GoldenFromMaybe.expected.hs b/...n/test/golden/GoldenFromMaybe.expected.hs → ...d/test/golden/GoldenFromMaybe.expected.hs
diff --git a/...ics-plugin/test/golden/GoldenFromMaybe.hs → ...plugin/old/test/golden/GoldenFromMaybe.hs b/...ics-plugin/test/golden/GoldenFromMaybe.hs → ...plugin/old/test/golden/GoldenFromMaybe.hs
diff --git a/...in/test/golden/GoldenGADTAuto.expected.hs → ...ld/test/golden/GoldenGADTAuto.expected.hs b/...in/test/golden/GoldenGADTAuto.expected.hs → ...ld/test/golden/GoldenGADTAuto.expected.hs
diff --git a/...tics-plugin/test/golden/GoldenGADTAuto.hs → ...-plugin/old/test/golden/GoldenGADTAuto.hs b/...tics-plugin/test/golden/GoldenGADTAuto.hs → ...-plugin/old/test/golden/GoldenGADTAuto.hs
diff --git a/...est/golden/GoldenGADTDestruct.expected.hs → ...est/golden/GoldenGADTDestruct.expected.hs b/...est/golden/GoldenGADTDestruct.expected.hs → ...est/golden/GoldenGADTDestruct.expected.hs
diff --git a/...-plugin/test/golden/GoldenGADTDestruct.hs → ...gin/old/test/golden/GoldenGADTDestruct.hs b/...-plugin/test/golden/GoldenGADTDestruct.hs → ...gin/old/test/golden/GoldenGADTDestruct.hs
diff --git a/...en/GoldenGADTDestructCoercion.expected.hs → ...en/GoldenGADTDestructCoercion.expected.hs b/...en/GoldenGADTDestructCoercion.expected.hs → ...en/GoldenGADTDestructCoercion.expected.hs
diff --git a/...test/golden/GoldenGADTDestructCoercion.hs → ...test/golden/GoldenGADTDestructCoercion.hs b/...test/golden/GoldenGADTDestructCoercion.hs → ...test/golden/GoldenGADTDestructCoercion.hs
diff --git a/...n/test/golden/GoldenIdTypeFam.expected.hs → ...d/test/golden/GoldenIdTypeFam.expected.hs b/...n/test/golden/GoldenIdTypeFam.expected.hs → ...d/test/golden/GoldenIdTypeFam.expected.hs
diff --git a/...ics-plugin/test/golden/GoldenIdTypeFam.hs → ...plugin/old/test/golden/GoldenIdTypeFam.hs b/...ics-plugin/test/golden/GoldenIdTypeFam.hs → ...plugin/old/test/golden/GoldenIdTypeFam.hs
diff --git a/.../golden/GoldenIdentityFunctor.expected.hs → .../golden/GoldenIdentityFunctor.expected.hs b/.../golden/GoldenIdentityFunctor.expected.hs → .../golden/GoldenIdentityFunctor.expected.hs
diff --git a/...ugin/test/golden/GoldenIdentityFunctor.hs → .../old/test/golden/GoldenIdentityFunctor.hs b/...ugin/test/golden/GoldenIdentityFunctor.hs → .../old/test/golden/GoldenIdentityFunctor.hs
diff --git a/...ugin/test/golden/GoldenIntros.expected.hs → .../old/test/golden/GoldenIntros.expected.hs b/...ugin/test/golden/GoldenIntros.expected.hs → .../old/test/golden/GoldenIntros.expected.hs
diff --git a/...actics-plugin/test/golden/GoldenIntros.hs → ...cs-plugin/old/test/golden/GoldenIntros.hs b/...actics-plugin/test/golden/GoldenIntros.hs → ...cs-plugin/old/test/golden/GoldenIntros.hs
diff --git a/...in/test/golden/GoldenJoinCont.expected.hs → ...ld/test/golden/GoldenJoinCont.expected.hs b/...in/test/golden/GoldenJoinCont.expected.hs → ...ld/test/golden/GoldenJoinCont.expected.hs
diff --git a/...tics-plugin/test/golden/GoldenJoinCont.hs → ...-plugin/old/test/golden/GoldenJoinCont.hs b/...tics-plugin/test/golden/GoldenJoinCont.hs → ...-plugin/old/test/golden/GoldenJoinCont.hs
diff --git a/...in/test/golden/GoldenListFmap.expected.hs → ...ld/test/golden/GoldenListFmap.expected.hs b/...in/test/golden/GoldenListFmap.expected.hs → ...ld/test/golden/GoldenListFmap.expected.hs
diff --git a/...tics-plugin/test/golden/GoldenListFmap.hs → ...-plugin/old/test/golden/GoldenListFmap.hs b/...tics-plugin/test/golden/GoldenListFmap.hs → ...-plugin/old/test/golden/GoldenListFmap.hs
diff --git a/...plugin/test/golden/GoldenNote.expected.hs → ...in/old/test/golden/GoldenNote.expected.hs b/...plugin/test/golden/GoldenNote.expected.hs → ...in/old/test/golden/GoldenNote.expected.hs
diff --git a/...-tactics-plugin/test/golden/GoldenNote.hs → ...tics-plugin/old/test/golden/GoldenNote.hs b/...-tactics-plugin/test/golden/GoldenNote.hs → ...tics-plugin/old/test/golden/GoldenNote.hs
diff --git a/...in/test/golden/GoldenPureList.expected.hs → ...ld/test/golden/GoldenPureList.expected.hs b/...in/test/golden/GoldenPureList.expected.hs → ...ld/test/golden/GoldenPureList.expected.hs
diff --git a/...tics-plugin/test/golden/GoldenPureList.hs → ...-plugin/old/test/golden/GoldenPureList.hs b/...tics-plugin/test/golden/GoldenPureList.hs → ...-plugin/old/test/golden/GoldenPureList.hs
diff --git a/...in/test/golden/GoldenSafeHead.expected.hs → ...ld/test/golden/GoldenSafeHead.expected.hs b/...in/test/golden/GoldenSafeHead.expected.hs → ...ld/test/golden/GoldenSafeHead.expected.hs
diff --git a/...tics-plugin/test/golden/GoldenSafeHead.hs → ...-plugin/old/test/golden/GoldenSafeHead.hs b/...tics-plugin/test/golden/GoldenSafeHead.hs → ...-plugin/old/test/golden/GoldenSafeHead.hs
diff --git a/...plugin/test/golden/GoldenShow.expected.hs → ...in/old/test/golden/GoldenShow.expected.hs b/...plugin/test/golden/GoldenShow.expected.hs → ...in/old/test/golden/GoldenShow.expected.hs
diff --git a/...-tactics-plugin/test/golden/GoldenShow.hs → ...tics-plugin/old/test/golden/GoldenShow.hs b/...-tactics-plugin/test/golden/GoldenShow.hs → ...tics-plugin/old/test/golden/GoldenShow.hs
diff --git a/...test/golden/GoldenShowCompose.expected.hs → ...test/golden/GoldenShowCompose.expected.hs b/...test/golden/GoldenShowCompose.expected.hs → ...test/golden/GoldenShowCompose.expected.hs
diff --git a/...s-plugin/test/golden/GoldenShowCompose.hs → ...ugin/old/test/golden/GoldenShowCompose.hs b/...s-plugin/test/golden/GoldenShowCompose.hs → ...ugin/old/test/golden/GoldenShowCompose.hs
diff --git a/...test/golden/GoldenShowMapChar.expected.hs → ...test/golden/GoldenShowMapChar.expected.hs b/...test/golden/GoldenShowMapChar.expected.hs → ...test/golden/GoldenShowMapChar.expected.hs
diff --git a/...s-plugin/test/golden/GoldenShowMapChar.hs → ...ugin/old/test/golden/GoldenShowMapChar.hs b/...s-plugin/test/golden/GoldenShowMapChar.hs → ...ugin/old/test/golden/GoldenShowMapChar.hs
diff --git a/.../test/golden/GoldenSuperclass.expected.hs → .../test/golden/GoldenSuperclass.expected.hs b/.../test/golden/GoldenSuperclass.expected.hs → .../test/golden/GoldenSuperclass.expected.hs
diff --git a/...cs-plugin/test/golden/GoldenSuperclass.hs → ...lugin/old/test/golden/GoldenSuperclass.hs b/...cs-plugin/test/golden/GoldenSuperclass.hs → ...lugin/old/test/golden/GoldenSuperclass.hs
diff --git a/...plugin/test/golden/GoldenSwap.expected.hs → ...in/old/test/golden/GoldenSwap.expected.hs b/...plugin/test/golden/GoldenSwap.expected.hs → ...in/old/test/golden/GoldenSwap.expected.hs
diff --git a/...-tactics-plugin/test/golden/GoldenSwap.hs → ...tics-plugin/old/test/golden/GoldenSwap.hs b/...-tactics-plugin/test/golden/GoldenSwap.hs → ...tics-plugin/old/test/golden/GoldenSwap.hs
diff --git a/...in/test/golden/GoldenSwapMany.expected.hs → ...ld/test/golden/GoldenSwapMany.expected.hs b/...in/test/golden/GoldenSwapMany.expected.hs → ...ld/test/golden/GoldenSwapMany.expected.hs
diff --git a/...tics-plugin/test/golden/GoldenSwapMany.hs → ...-plugin/old/test/golden/GoldenSwapMany.hs b/...tics-plugin/test/golden/GoldenSwapMany.hs → ...-plugin/old/test/golden/GoldenSwapMany.hs
diff --git a/...olden/IntroDestructLetBinding.expected.hs → ...olden/IntroDestructLetBinding.expected.hs b/...olden/IntroDestructLetBinding.expected.hs → ...olden/IntroDestructLetBinding.expected.hs
diff --git a/...in/test/golden/IntroDestructLetBinding.hs → ...ld/test/golden/IntroDestructLetBinding.hs b/...in/test/golden/IntroDestructLetBinding.hs → ...ld/test/golden/IntroDestructLetBinding.hs
diff --git a/...test/golden/IntroDestructMany.expected.hs → ...test/golden/IntroDestructMany.expected.hs b/...test/golden/IntroDestructMany.expected.hs → ...test/golden/IntroDestructMany.expected.hs
diff --git a/...s-plugin/test/golden/IntroDestructMany.hs → ...ugin/old/test/golden/IntroDestructMany.hs b/...s-plugin/test/golden/IntroDestructMany.hs → ...ugin/old/test/golden/IntroDestructMany.hs
diff --git a/.../test/golden/IntroDestructOne.expected.hs → .../test/golden/IntroDestructOne.expected.hs b/.../test/golden/IntroDestructOne.expected.hs → .../test/golden/IntroDestructOne.expected.hs
diff --git a/...cs-plugin/test/golden/IntroDestructOne.hs → ...lugin/old/test/golden/IntroDestructOne.hs b/...cs-plugin/test/golden/IntroDestructOne.hs → ...lugin/old/test/golden/IntroDestructOne.hs
diff --git a/...ugin/test/golden/IntroDestructProvider.hs → .../old/test/golden/IntroDestructProvider.hs b/...ugin/test/golden/IntroDestructProvider.hs → .../old/test/golden/IntroDestructProvider.hs
diff --git a/...gin/test/golden/IntrosTooMany.expected.hs → ...old/test/golden/IntrosTooMany.expected.hs b/...gin/test/golden/IntrosTooMany.expected.hs → ...old/test/golden/IntrosTooMany.expected.hs
diff --git a/...ctics-plugin/test/golden/IntrosTooMany.hs → ...s-plugin/old/test/golden/IntrosTooMany.hs b/...ctics-plugin/test/golden/IntrosTooMany.hs → ...s-plugin/old/test/golden/IntrosTooMany.hs
diff --git a/...test/golden/KnownBigSemigroup.expected.hs → ...test/golden/KnownBigSemigroup.expected.hs b/...test/golden/KnownBigSemigroup.expected.hs → ...test/golden/KnownBigSemigroup.expected.hs
diff --git a/...s-plugin/test/golden/KnownBigSemigroup.hs → ...ugin/old/test/golden/KnownBigSemigroup.hs b/...s-plugin/test/golden/KnownBigSemigroup.hs → ...ugin/old/test/golden/KnownBigSemigroup.hs
diff --git a/.../KnownCounterfactualSemigroup.expected.hs → .../KnownCounterfactualSemigroup.expected.hs b/.../KnownCounterfactualSemigroup.expected.hs → .../KnownCounterfactualSemigroup.expected.hs
diff --git a/...st/golden/KnownCounterfactualSemigroup.hs → ...st/golden/KnownCounterfactualSemigroup.hs b/...st/golden/KnownCounterfactualSemigroup.hs → ...st/golden/KnownCounterfactualSemigroup.hs
diff --git a/...lden/KnownDestructedSemigroup.expected.hs → ...lden/KnownDestructedSemigroup.expected.hs b/...lden/KnownDestructedSemigroup.expected.hs → ...lden/KnownDestructedSemigroup.expected.hs
diff --git a/...n/test/golden/KnownDestructedSemigroup.hs → ...d/test/golden/KnownDestructedSemigroup.hs b/...n/test/golden/KnownDestructedSemigroup.hs → ...d/test/golden/KnownDestructedSemigroup.hs
diff --git a/...est/golden/KnownMissingMonoid.expected.hs → ...est/golden/KnownMissingMonoid.expected.hs b/...est/golden/KnownMissingMonoid.expected.hs → ...est/golden/KnownMissingMonoid.expected.hs
diff --git a/...-plugin/test/golden/KnownMissingMonoid.hs → ...gin/old/test/golden/KnownMissingMonoid.hs b/...-plugin/test/golden/KnownMissingMonoid.hs → ...gin/old/test/golden/KnownMissingMonoid.hs
diff --git a/.../golden/KnownMissingSemigroup.expected.hs → .../golden/KnownMissingSemigroup.expected.hs b/.../golden/KnownMissingSemigroup.expected.hs → .../golden/KnownMissingSemigroup.expected.hs
diff --git a/...ugin/test/golden/KnownMissingSemigroup.hs → .../old/test/golden/KnownMissingSemigroup.hs b/...ugin/test/golden/KnownMissingSemigroup.hs → .../old/test/golden/KnownMissingSemigroup.hs
diff --git a/.../KnownModuleInstanceSemigroup.expected.hs → .../KnownModuleInstanceSemigroup.expected.hs b/.../KnownModuleInstanceSemigroup.expected.hs → .../KnownModuleInstanceSemigroup.expected.hs
diff --git a/...st/golden/KnownModuleInstanceSemigroup.hs → ...st/golden/KnownModuleInstanceSemigroup.hs b/...st/golden/KnownModuleInstanceSemigroup.hs → ...st/golden/KnownModuleInstanceSemigroup.hs
diff --git a/...lugin/test/golden/KnownMonoid.expected.hs → ...n/old/test/golden/KnownMonoid.expected.hs b/...lugin/test/golden/KnownMonoid.expected.hs → ...n/old/test/golden/KnownMonoid.expected.hs
diff --git a/...tactics-plugin/test/golden/KnownMonoid.hs → ...ics-plugin/old/test/golden/KnownMonoid.hs b/...tactics-plugin/test/golden/KnownMonoid.hs → ...ics-plugin/old/test/golden/KnownMonoid.hs
diff --git a/...n/test/golden/KnownPolyMonoid.expected.hs → ...d/test/golden/KnownPolyMonoid.expected.hs b/...n/test/golden/KnownPolyMonoid.expected.hs → ...d/test/golden/KnownPolyMonoid.expected.hs
diff --git a/...ics-plugin/test/golden/KnownPolyMonoid.hs → ...plugin/old/test/golden/KnownPolyMonoid.hs b/...ics-plugin/test/golden/KnownPolyMonoid.hs → ...plugin/old/test/golden/KnownPolyMonoid.hs
diff --git a/...st/golden/KnownThetaSemigroup.expected.hs → ...st/golden/KnownThetaSemigroup.expected.hs b/...st/golden/KnownThetaSemigroup.expected.hs → ...st/golden/KnownThetaSemigroup.expected.hs
diff --git a/...plugin/test/golden/KnownThetaSemigroup.hs → ...in/old/test/golden/KnownThetaSemigroup.hs b/...plugin/test/golden/KnownThetaSemigroup.hs → ...in/old/test/golden/KnownThetaSemigroup.hs
diff --git a/...plugin/test/golden/LayoutBind.expected.hs → ...in/old/test/golden/LayoutBind.expected.hs b/...plugin/test/golden/LayoutBind.expected.hs → ...in/old/test/golden/LayoutBind.expected.hs
diff --git a/...-tactics-plugin/test/golden/LayoutBind.hs → ...tics-plugin/old/test/golden/LayoutBind.hs b/...-tactics-plugin/test/golden/LayoutBind.hs → ...tics-plugin/old/test/golden/LayoutBind.hs
diff --git a/...n/test/golden/LayoutDollarApp.expected.hs → ...d/test/golden/LayoutDollarApp.expected.hs b/...n/test/golden/LayoutDollarApp.expected.hs → ...d/test/golden/LayoutDollarApp.expected.hs
diff --git a/...ics-plugin/test/golden/LayoutDollarApp.hs → ...plugin/old/test/golden/LayoutDollarApp.hs b/...ics-plugin/test/golden/LayoutDollarApp.hs → ...plugin/old/test/golden/LayoutDollarApp.hs
diff --git a/...n/test/golden/LayoutInfixKeep.expected.hs → ...d/test/golden/LayoutInfixKeep.expected.hs b/...n/test/golden/LayoutInfixKeep.expected.hs → ...d/test/golden/LayoutInfixKeep.expected.hs
diff --git a/...ics-plugin/test/golden/LayoutInfixKeep.hs → ...plugin/old/test/golden/LayoutInfixKeep.hs b/...ics-plugin/test/golden/LayoutInfixKeep.hs → ...plugin/old/test/golden/LayoutInfixKeep.hs
diff --git a/...-plugin/test/golden/LayoutLam.expected.hs → ...gin/old/test/golden/LayoutLam.expected.hs b/...-plugin/test/golden/LayoutLam.expected.hs → ...gin/old/test/golden/LayoutLam.expected.hs
diff --git a/...s-tactics-plugin/test/golden/LayoutLam.hs → ...ctics-plugin/old/test/golden/LayoutLam.hs b/...s-tactics-plugin/test/golden/LayoutLam.hs → ...ctics-plugin/old/test/golden/LayoutLam.hs
diff --git a/...lugin/test/golden/LayoutOpApp.expected.hs → ...n/old/test/golden/LayoutOpApp.expected.hs b/...lugin/test/golden/LayoutOpApp.expected.hs → ...n/old/test/golden/LayoutOpApp.expected.hs
diff --git a/...tactics-plugin/test/golden/LayoutOpApp.hs → ...ics-plugin/old/test/golden/LayoutOpApp.hs b/...tactics-plugin/test/golden/LayoutOpApp.hs → ...ics-plugin/old/test/golden/LayoutOpApp.hs
diff --git a/.../test/golden/LayoutPrefixKeep.expected.hs → .../test/golden/LayoutPrefixKeep.expected.hs b/.../test/golden/LayoutPrefixKeep.expected.hs → .../test/golden/LayoutPrefixKeep.expected.hs
diff --git a/...cs-plugin/test/golden/LayoutPrefixKeep.hs → ...lugin/old/test/golden/LayoutPrefixKeep.hs b/...cs-plugin/test/golden/LayoutPrefixKeep.hs → ...lugin/old/test/golden/LayoutPrefixKeep.hs
diff --git a/...-plugin/test/golden/LayoutRec.expected.hs → ...gin/old/test/golden/LayoutRec.expected.hs b/...-plugin/test/golden/LayoutRec.expected.hs → ...gin/old/test/golden/LayoutRec.expected.hs
diff --git a/...s-tactics-plugin/test/golden/LayoutRec.hs → ...ctics-plugin/old/test/golden/LayoutRec.hs b/...s-tactics-plugin/test/golden/LayoutRec.hs → ...ctics-plugin/old/test/golden/LayoutRec.hs
diff --git a/.../test/golden/LayoutSplitClass.expected.hs → .../test/golden/LayoutSplitClass.expected.hs b/.../test/golden/LayoutSplitClass.expected.hs → .../test/golden/LayoutSplitClass.expected.hs
diff --git a/...cs-plugin/test/golden/LayoutSplitClass.hs → ...lugin/old/test/golden/LayoutSplitClass.hs b/...cs-plugin/test/golden/LayoutSplitClass.hs → ...lugin/old/test/golden/LayoutSplitClass.hs
diff --git a/.../test/golden/LayoutSplitGuard.expected.hs → .../test/golden/LayoutSplitGuard.expected.hs b/.../test/golden/LayoutSplitGuard.expected.hs → .../test/golden/LayoutSplitGuard.expected.hs
diff --git a/...cs-plugin/test/golden/LayoutSplitGuard.hs → ...lugin/old/test/golden/LayoutSplitGuard.hs b/...cs-plugin/test/golden/LayoutSplitGuard.hs → ...lugin/old/test/golden/LayoutSplitGuard.hs
diff --git a/...gin/test/golden/LayoutSplitIn.expected.hs → ...old/test/golden/LayoutSplitIn.expected.hs b/...gin/test/golden/LayoutSplitIn.expected.hs → ...old/test/golden/LayoutSplitIn.expected.hs
diff --git a/...ctics-plugin/test/golden/LayoutSplitIn.hs → ...s-plugin/old/test/golden/LayoutSplitIn.hs b/...ctics-plugin/test/golden/LayoutSplitIn.hs → ...s-plugin/old/test/golden/LayoutSplitIn.hs
diff --git a/...in/test/golden/LayoutSplitLet.expected.hs → ...ld/test/golden/LayoutSplitLet.expected.hs b/...in/test/golden/LayoutSplitLet.expected.hs → ...ld/test/golden/LayoutSplitLet.expected.hs
diff --git a/...tics-plugin/test/golden/LayoutSplitLet.hs → ...-plugin/old/test/golden/LayoutSplitLet.hs b/...tics-plugin/test/golden/LayoutSplitLet.hs → ...-plugin/old/test/golden/LayoutSplitLet.hs
diff --git a/...test/golden/LayoutSplitPatSyn.expected.hs → ...test/golden/LayoutSplitPatSyn.expected.hs b/...test/golden/LayoutSplitPatSyn.expected.hs → ...test/golden/LayoutSplitPatSyn.expected.hs
diff --git a/...s-plugin/test/golden/LayoutSplitPatSyn.hs → ...ugin/old/test/golden/LayoutSplitPatSyn.hs b/...s-plugin/test/golden/LayoutSplitPatSyn.hs → ...ugin/old/test/golden/LayoutSplitPatSyn.hs
diff --git a/...est/golden/LayoutSplitPattern.expected.hs → ...est/golden/LayoutSplitPattern.expected.hs b/...est/golden/LayoutSplitPattern.expected.hs → ...est/golden/LayoutSplitPattern.expected.hs
diff --git a/...-plugin/test/golden/LayoutSplitPattern.hs → ...gin/old/test/golden/LayoutSplitPattern.hs b/...-plugin/test/golden/LayoutSplitPattern.hs → ...gin/old/test/golden/LayoutSplitPattern.hs
diff --git a/...est/golden/LayoutSplitViewPat.expected.hs → ...est/golden/LayoutSplitViewPat.expected.hs b/...est/golden/LayoutSplitViewPat.expected.hs → ...est/golden/LayoutSplitViewPat.expected.hs
diff --git a/...-plugin/test/golden/LayoutSplitViewPat.hs → ...gin/old/test/golden/LayoutSplitViewPat.hs b/...-plugin/test/golden/LayoutSplitViewPat.hs → ...gin/old/test/golden/LayoutSplitViewPat.hs
diff --git a/.../test/golden/LayoutSplitWhere.expected.hs → .../test/golden/LayoutSplitWhere.expected.hs b/.../test/golden/LayoutSplitWhere.expected.hs → .../test/golden/LayoutSplitWhere.expected.hs
diff --git a/...cs-plugin/test/golden/LayoutSplitWhere.hs → ...lugin/old/test/golden/LayoutSplitWhere.hs b/...cs-plugin/test/golden/LayoutSplitWhere.hs → ...lugin/old/test/golden/LayoutSplitWhere.hs
diff --git a/...cs-plugin/test/golden/MessageCantUnify.hs → ...lugin/old/test/golden/MessageCantUnify.hs b/...cs-plugin/test/golden/MessageCantUnify.hs → ...lugin/old/test/golden/MessageCantUnify.hs
diff --git a/...tics-plugin/test/golden/MessageForallA.hs → ...-plugin/old/test/golden/MessageForallA.hs b/...tics-plugin/test/golden/MessageForallA.hs → ...-plugin/old/test/golden/MessageForallA.hs
diff --git a/...plugin/test/golden/MessageNotEnoughGas.hs → ...in/old/test/golden/MessageNotEnoughGas.hs b/...plugin/test/golden/MessageNotEnoughGas.hs → ...in/old/test/golden/MessageNotEnoughGas.hs
diff --git a/...-plugin/test/golden/MetaBegin.expected.hs → ...gin/old/test/golden/MetaBegin.expected.hs b/...-plugin/test/golden/MetaBegin.expected.hs → ...gin/old/test/golden/MetaBegin.expected.hs
diff --git a/...s-tactics-plugin/test/golden/MetaBegin.hs → ...ctics-plugin/old/test/golden/MetaBegin.hs b/...s-tactics-plugin/test/golden/MetaBegin.hs → ...ctics-plugin/old/test/golden/MetaBegin.hs
diff --git a/...est/golden/MetaBeginNoWildify.expected.hs → ...est/golden/MetaBeginNoWildify.expected.hs b/...est/golden/MetaBeginNoWildify.expected.hs → ...est/golden/MetaBeginNoWildify.expected.hs
diff --git a/...-plugin/test/golden/MetaBeginNoWildify.hs → ...gin/old/test/golden/MetaBeginNoWildify.hs b/...-plugin/test/golden/MetaBeginNoWildify.hs → ...gin/old/test/golden/MetaBeginNoWildify.hs
diff --git a/...lugin/test/golden/MetaBindAll.expected.hs → ...n/old/test/golden/MetaBindAll.expected.hs b/...lugin/test/golden/MetaBindAll.expected.hs → ...n/old/test/golden/MetaBindAll.expected.hs
diff --git a/...tactics-plugin/test/golden/MetaBindAll.hs → ...ics-plugin/old/test/golden/MetaBindAll.hs b/...tactics-plugin/test/golden/MetaBindAll.hs → ...ics-plugin/old/test/golden/MetaBindAll.hs
diff --git a/...lugin/test/golden/MetaBindOne.expected.hs → ...n/old/test/golden/MetaBindOne.expected.hs b/...lugin/test/golden/MetaBindOne.expected.hs → ...n/old/test/golden/MetaBindOne.expected.hs
diff --git a/...tactics-plugin/test/golden/MetaBindOne.hs → ...ics-plugin/old/test/golden/MetaBindOne.hs b/...tactics-plugin/test/golden/MetaBindOne.hs → ...ics-plugin/old/test/golden/MetaBindOne.hs
diff --git a/...lugin/test/golden/MetaCataAST.expected.hs → ...n/old/test/golden/MetaCataAST.expected.hs b/...lugin/test/golden/MetaCataAST.expected.hs → ...n/old/test/golden/MetaCataAST.expected.hs
diff --git a/...tactics-plugin/test/golden/MetaCataAST.hs → ...ics-plugin/old/test/golden/MetaCataAST.hs b/...tactics-plugin/test/golden/MetaCataAST.hs → ...ics-plugin/old/test/golden/MetaCataAST.hs
diff --git a/.../test/golden/MetaCataCollapse.expected.hs → .../test/golden/MetaCataCollapse.expected.hs b/.../test/golden/MetaCataCollapse.expected.hs → .../test/golden/MetaCataCollapse.expected.hs
diff --git a/...cs-plugin/test/golden/MetaCataCollapse.hs → ...lugin/old/test/golden/MetaCataCollapse.hs b/...cs-plugin/test/golden/MetaCataCollapse.hs → ...lugin/old/test/golden/MetaCataCollapse.hs
diff --git a/.../golden/MetaCataCollapseUnary.expected.hs → .../golden/MetaCataCollapseUnary.expected.hs b/.../golden/MetaCataCollapseUnary.expected.hs → .../golden/MetaCataCollapseUnary.expected.hs
diff --git a/...ugin/test/golden/MetaCataCollapseUnary.hs → .../old/test/golden/MetaCataCollapseUnary.hs b/...ugin/test/golden/MetaCataCollapseUnary.hs → .../old/test/golden/MetaCataCollapseUnary.hs
diff --git a/...plugin/test/golden/MetaChoice.expected.hs → ...in/old/test/golden/MetaChoice.expected.hs b/...plugin/test/golden/MetaChoice.expected.hs → ...in/old/test/golden/MetaChoice.expected.hs
diff --git a/...-tactics-plugin/test/golden/MetaChoice.hs → ...tics-plugin/old/test/golden/MetaChoice.hs b/...-tactics-plugin/test/golden/MetaChoice.hs → ...tics-plugin/old/test/golden/MetaChoice.hs
diff --git a/...plugin/test/golden/MetaDeepOf.expected.hs → ...in/old/test/golden/MetaDeepOf.expected.hs b/...plugin/test/golden/MetaDeepOf.expected.hs → ...in/old/test/golden/MetaDeepOf.expected.hs
diff --git a/...-tactics-plugin/test/golden/MetaDeepOf.hs → ...tics-plugin/old/test/golden/MetaDeepOf.hs b/...-tactics-plugin/test/golden/MetaDeepOf.hs → ...tics-plugin/old/test/golden/MetaDeepOf.hs
diff --git a/...lugin/test/golden/MetaFundeps.expected.hs → ...n/old/test/golden/MetaFundeps.expected.hs b/...lugin/test/golden/MetaFundeps.expected.hs → ...n/old/test/golden/MetaFundeps.expected.hs
diff --git a/...tactics-plugin/test/golden/MetaFundeps.hs → ...ics-plugin/old/test/golden/MetaFundeps.hs b/...tactics-plugin/test/golden/MetaFundeps.hs → ...ics-plugin/old/test/golden/MetaFundeps.hs
diff --git a/...-plugin/test/golden/MetaIdiom.expected.hs → ...gin/old/test/golden/MetaIdiom.expected.hs b/...-plugin/test/golden/MetaIdiom.expected.hs → ...gin/old/test/golden/MetaIdiom.expected.hs
diff --git a/...s-tactics-plugin/test/golden/MetaIdiom.hs → ...ctics-plugin/old/test/golden/MetaIdiom.hs b/...s-tactics-plugin/test/golden/MetaIdiom.hs → ...ctics-plugin/old/test/golden/MetaIdiom.hs
diff --git a/...n/test/golden/MetaIdiomRecord.expected.hs → ...d/test/golden/MetaIdiomRecord.expected.hs b/...n/test/golden/MetaIdiomRecord.expected.hs → ...d/test/golden/MetaIdiomRecord.expected.hs
diff --git a/...ics-plugin/test/golden/MetaIdiomRecord.hs → ...plugin/old/test/golden/MetaIdiomRecord.hs b/...ics-plugin/test/golden/MetaIdiomRecord.hs → ...plugin/old/test/golden/MetaIdiomRecord.hs
diff --git a/...gin/test/golden/MetaLetSimple.expected.hs → ...old/test/golden/MetaLetSimple.expected.hs b/...gin/test/golden/MetaLetSimple.expected.hs → ...old/test/golden/MetaLetSimple.expected.hs
diff --git a/...ctics-plugin/test/golden/MetaLetSimple.hs → ...s-plugin/old/test/golden/MetaLetSimple.hs b/...ctics-plugin/test/golden/MetaLetSimple.hs → ...s-plugin/old/test/golden/MetaLetSimple.hs
diff --git a/...lugin/test/golden/MetaMaybeAp.expected.hs → ...n/old/test/golden/MetaMaybeAp.expected.hs b/...lugin/test/golden/MetaMaybeAp.expected.hs → ...n/old/test/golden/MetaMaybeAp.expected.hs
diff --git a/...tactics-plugin/test/golden/MetaMaybeAp.hs → ...ics-plugin/old/test/golden/MetaMaybeAp.hs b/...tactics-plugin/test/golden/MetaMaybeAp.hs → ...ics-plugin/old/test/golden/MetaMaybeAp.hs
diff --git a/...gin/test/golden/MetaPointwise.expected.hs → ...old/test/golden/MetaPointwise.expected.hs b/...gin/test/golden/MetaPointwise.expected.hs → ...old/test/golden/MetaPointwise.expected.hs
diff --git a/...ctics-plugin/test/golden/MetaPointwise.hs → ...s-plugin/old/test/golden/MetaPointwise.hs b/...ctics-plugin/test/golden/MetaPointwise.hs → ...s-plugin/old/test/golden/MetaPointwise.hs
diff --git a/...cs-plugin/test/golden/MetaTry.expected.hs → ...lugin/old/test/golden/MetaTry.expected.hs b/...cs-plugin/test/golden/MetaTry.expected.hs → ...lugin/old/test/golden/MetaTry.expected.hs
diff --git a/...hls-tactics-plugin/test/golden/MetaTry.hs → ...tactics-plugin/old/test/golden/MetaTry.hs b/...hls-tactics-plugin/test/golden/MetaTry.hs → ...tactics-plugin/old/test/golden/MetaTry.hs
diff --git a/...gin/test/golden/MetaUseImport.expected.hs → ...old/test/golden/MetaUseImport.expected.hs b/...gin/test/golden/MetaUseImport.expected.hs → ...old/test/golden/MetaUseImport.expected.hs
diff --git a/...ctics-plugin/test/golden/MetaUseImport.hs → ...s-plugin/old/test/golden/MetaUseImport.hs b/...ctics-plugin/test/golden/MetaUseImport.hs → ...s-plugin/old/test/golden/MetaUseImport.hs
diff --git a/...ugin/test/golden/MetaUseLocal.expected.hs → .../old/test/golden/MetaUseLocal.expected.hs b/...ugin/test/golden/MetaUseLocal.expected.hs → .../old/test/golden/MetaUseLocal.expected.hs
diff --git a/...actics-plugin/test/golden/MetaUseLocal.hs → ...cs-plugin/old/test/golden/MetaUseLocal.hs b/...actics-plugin/test/golden/MetaUseLocal.hs → ...cs-plugin/old/test/golden/MetaUseLocal.hs
diff --git a/...gin/test/golden/MetaUseMethod.expected.hs → ...old/test/golden/MetaUseMethod.expected.hs b/...gin/test/golden/MetaUseMethod.expected.hs → ...old/test/golden/MetaUseMethod.expected.hs
diff --git a/...ctics-plugin/test/golden/MetaUseMethod.hs → ...s-plugin/old/test/golden/MetaUseMethod.hs b/...ctics-plugin/test/golden/MetaUseMethod.hs → ...s-plugin/old/test/golden/MetaUseMethod.hs
diff --git a/...gin/test/golden/MetaUseSymbol.expected.hs → ...old/test/golden/MetaUseSymbol.expected.hs b/...gin/test/golden/MetaUseSymbol.expected.hs → ...old/test/golden/MetaUseSymbol.expected.hs
diff --git a/...ctics-plugin/test/golden/MetaUseSymbol.hs → ...s-plugin/old/test/golden/MetaUseSymbol.hs b/...ctics-plugin/test/golden/MetaUseSymbol.hs → ...s-plugin/old/test/golden/MetaUseSymbol.hs
diff --git a/...lugin/test/golden/MetaWithArg.expected.hs → ...n/old/test/golden/MetaWithArg.expected.hs b/...lugin/test/golden/MetaWithArg.expected.hs → ...n/old/test/golden/MetaWithArg.expected.hs
diff --git a/...tactics-plugin/test/golden/MetaWithArg.hs → ...ics-plugin/old/test/golden/MetaWithArg.hs b/...tactics-plugin/test/golden/MetaWithArg.hs → ...ics-plugin/old/test/golden/MetaWithArg.hs
diff --git a/...gin/test/golden/NewtypeRecord.expected.hs → ...old/test/golden/NewtypeRecord.expected.hs b/...gin/test/golden/NewtypeRecord.expected.hs → ...old/test/golden/NewtypeRecord.expected.hs
diff --git a/...ctics-plugin/test/golden/NewtypeRecord.hs → ...s-plugin/old/test/golden/NewtypeRecord.hs b/...ctics-plugin/test/golden/NewtypeRecord.hs → ...s-plugin/old/test/golden/NewtypeRecord.hs
diff --git a/...n/test/golden/ProvideAlreadyDestructed.hs → ...d/test/golden/ProvideAlreadyDestructed.hs b/...n/test/golden/ProvideAlreadyDestructed.hs → ...d/test/golden/ProvideAlreadyDestructed.hs
diff --git a/...-plugin/test/golden/ProvideLocalHyOnly.hs → ...gin/old/test/golden/ProvideLocalHyOnly.hs b/...-plugin/test/golden/ProvideLocalHyOnly.hs → ...gin/old/test/golden/ProvideLocalHyOnly.hs