Switch to tree-view

eashanhatti · Jul 15, 2022 · e8225ae · e8225ae
1 parent caa88c2
commit e8225ae
Show file tree

Hide file tree

Showing 5 changed files with 6 additions and 14 deletions.
diff --git a/app/Main.hs b/app/Main.hs
@@ -23,7 +23,7 @@ import Data.Set qualified as Set
 import Data.Sequence((<|))
 import Data.Bifunctor
 import Numeric.Natural
-import Data.Tree.Render.Text
+import Data.Tree.View
 import Search(SearchNode(..))
 import "peridot" Extra
 
@@ -146,7 +146,7 @@ loop = do
                     let
                       ttree =
                         pack .
-                        renderTree (tracedRenderOptions id) .
+                        showTree .
                         fmap
                           (\case
                             Atom goal -> unpack . prettyPure (rmGlobals eqs) $ goal

diff --git a/package.yaml b/package.yaml
@@ -71,7 +71,7 @@ dependencies:
 - parser-combinators
 - haskell-stack-trace-plugin
 - directory
-- tree-render-text
+- tree-view
 
 library:
   source-dirs: src

diff --git a/peridot.cabal b/peridot.cabal
@@ -93,7 +93,7 @@ library
     , tasty
     , tasty-golden
     , text
-    , tree-render-text
+    , tree-view
   default-language: Haskell2010
 
 executable peridot
@@ -155,7 +155,7 @@ executable peridot
     , tasty
     , tasty-golden
     , text
-    , tree-render-text
+    , tree-view
   default-language: Haskell2010
 
 test-suite peridot-test
@@ -218,5 +218,5 @@ test-suite peridot-test
     , tasty
     , tasty-golden
     , text
-    , tree-render-text
+    , tree-view
   default-language: Haskell2010
diff --git a/stack.yaml b/stack.yaml
@@ -47,7 +47,6 @@ extra-deps:
 - fused-effects-1.1.1.1
 - shower-0.2.0.2
 - haskell-stack-trace-plugin-0.1.3.0
-- tree-render-text-0.4.0.0
 
 # Override default flag values for local packages and extra-deps
 # flags: {}

diff --git a/stack.yaml.lock b/stack.yaml.lock
@@ -32,13 +32,6 @@ packages:
       sha256: aadc335cee4b3fceaab0e00db0a2e29447af2015608b431558faa167381e9bd9
   original:
     hackage: haskell-stack-trace-plugin-0.1.3.0
-- completed:
-    hackage: tree-render-text-0.4.0.0@sha256:8229625b2cd4fba6739b7c0d34868f48ebea20a9e4b6b12ac6fb23c919564734,979
-    pantry-tree:
-      size: 302
-      sha256: 3118c7f8553ea160525586ef678e8cc3adf679df29f16367e530d1de64f2c3a3
-  original:
-    hackage: tree-render-text-0.4.0.0
 snapshots:
 - completed:
     size: 587821