Rename tactics

haskell · Jan 19, 2021 · a85e82c · a85e82c
1 parent 3a4e9b3
commit a85e82c
Show file tree

Hide file tree

Showing 18 changed files with 0 additions and 0 deletions.
diff --git a/plugins/tactics/src/Ide/Plugin/Tactic.hs → ...s-tactics-plugin/src/Ide/Plugin/Tactic.hs b/plugins/tactics/src/Ide/Plugin/Tactic.hs → ...s-tactics-plugin/src/Ide/Plugin/Tactic.hs
diff --git a/...ins/tactics/src/Ide/Plugin/Tactic/Auto.hs → ...tics-plugin/src/Ide/Plugin/Tactic/Auto.hs b/...ins/tactics/src/Ide/Plugin/Tactic/Auto.hs → ...tics-plugin/src/Ide/Plugin/Tactic/Auto.hs
diff --git a/.../tactics/src/Ide/Plugin/Tactic/CodeGen.hs → ...s-plugin/src/Ide/Plugin/Tactic/CodeGen.hs b/.../tactics/src/Ide/Plugin/Tactic/CodeGen.hs → ...s-plugin/src/Ide/Plugin/Tactic/CodeGen.hs
diff --git a/.../tactics/src/Ide/Plugin/Tactic/Context.hs → ...s-plugin/src/Ide/Plugin/Tactic/Context.hs b/.../tactics/src/Ide/Plugin/Tactic/Context.hs → ...s-plugin/src/Ide/Plugin/Tactic/Context.hs
diff --git a/...ns/tactics/src/Ide/Plugin/Tactic/Debug.hs → ...ics-plugin/src/Ide/Plugin/Tactic/Debug.hs b/...ns/tactics/src/Ide/Plugin/Tactic/Debug.hs → ...ics-plugin/src/Ide/Plugin/Tactic/Debug.hs
diff --git a/plugins/tactics/src/Ide/Plugin/Tactic/GHC.hs → ...ctics-plugin/src/Ide/Plugin/Tactic/GHC.hs b/plugins/tactics/src/Ide/Plugin/Tactic/GHC.hs → ...ctics-plugin/src/Ide/Plugin/Tactic/GHC.hs
diff --git a/...ctics/src/Ide/Plugin/Tactic/Judgements.hs → ...lugin/src/Ide/Plugin/Tactic/Judgements.hs b/...ctics/src/Ide/Plugin/Tactic/Judgements.hs → ...lugin/src/Ide/Plugin/Tactic/Judgements.hs
diff --git a/.../src/Ide/Plugin/Tactic/KnownStrategies.hs → .../src/Ide/Plugin/Tactic/KnownStrategies.hs b/.../src/Ide/Plugin/Tactic/KnownStrategies.hs → .../src/Ide/Plugin/Tactic/KnownStrategies.hs
diff --git a/...ugin/Tactic/KnownStrategies/QuickCheck.hs → ...ugin/Tactic/KnownStrategies/QuickCheck.hs b/...ugin/Tactic/KnownStrategies/QuickCheck.hs → ...ugin/Tactic/KnownStrategies/QuickCheck.hs
diff --git a/...actics/src/Ide/Plugin/Tactic/Machinery.hs → ...plugin/src/Ide/Plugin/Tactic/Machinery.hs b/...actics/src/Ide/Plugin/Tactic/Machinery.hs → ...plugin/src/Ide/Plugin/Tactic/Machinery.hs
diff --git a/...s/tactics/src/Ide/Plugin/Tactic/Naming.hs → ...cs-plugin/src/Ide/Plugin/Tactic/Naming.hs b/...s/tactics/src/Ide/Plugin/Tactic/Naming.hs → ...cs-plugin/src/Ide/Plugin/Tactic/Naming.hs
diff --git a/...ns/tactics/src/Ide/Plugin/Tactic/Range.hs → ...ics-plugin/src/Ide/Plugin/Tactic/Range.hs b/...ns/tactics/src/Ide/Plugin/Tactic/Range.hs → ...ics-plugin/src/Ide/Plugin/Tactic/Range.hs
diff --git a/.../tactics/src/Ide/Plugin/Tactic/Tactics.hs → ...s-plugin/src/Ide/Plugin/Tactic/Tactics.hs b/.../tactics/src/Ide/Plugin/Tactic/Tactics.hs → ...s-plugin/src/Ide/Plugin/Tactic/Tactics.hs
diff --git a/...actics/src/Ide/Plugin/Tactic/TestTypes.hs → ...plugin/src/Ide/Plugin/Tactic/TestTypes.hs b/...actics/src/Ide/Plugin/Tactic/TestTypes.hs → ...plugin/src/Ide/Plugin/Tactic/TestTypes.hs
diff --git a/...ns/tactics/src/Ide/Plugin/Tactic/Types.hs → ...ics-plugin/src/Ide/Plugin/Tactic/Types.hs b/...ns/tactics/src/Ide/Plugin/Tactic/Types.hs → ...ics-plugin/src/Ide/Plugin/Tactic/Types.hs
diff --git a/plugins/tactics/test/AutoTupleSpec.hs → .../hls-tactics-plugin/test/AutoTupleSpec.hs b/plugins/tactics/test/AutoTupleSpec.hs → .../hls-tactics-plugin/test/AutoTupleSpec.hs
diff --git a/plugins/tactics/test/Main.hs → plugins/hls-tactics-plugin/test/Main.hs b/plugins/tactics/test/Main.hs → plugins/hls-tactics-plugin/test/Main.hs
diff --git a/plugins/tactics/test/UnificationSpec.hs → ...ls-tactics-plugin/test/UnificationSpec.hs b/plugins/tactics/test/UnificationSpec.hs → ...ls-tactics-plugin/test/UnificationSpec.hs