remove direct to svg for dot

Author: martyall

arithmetic-circuits.cabal

@@ -49,7 +49,6 @@ common deps
     , filepath        >=1.4.2
     , finite-typelits >=0.1.0
     , galois-field    >=2.0.0
-    , process
     , propagators
     , protolude       >=0.2
     , semirings       >=0.7
@@ -114,7 +113,6 @@ library circom-compat
   build-depends:
       arithmetic-circuits
     , arithmetic-circuits:language
-    , binary
     , bytestring
     , directory
     , optparse-applicative
@@ -171,8 +169,7 @@ executable factors
   import:           warnings, extensions, deps
   main-is:          Main.hs
   build-depends:
-      binary
-    , arithmetic-circuits
+      arithmetic-circuits
     , arithmetic-circuits:language
     , arithmetic-circuits:circom-compat
     , vector
@@ -232,7 +229,6 @@ test-suite circom-compat-tests
     , tasty-quickcheck      >=0.10
     , hspec
     , QuickCheck
-    , binary
 
   build-tool-depends: tasty-discover:tasty-discover >=4.2
 

circuit/src/Circuit/Dot.hs

@@ -1,16 +1,13 @@
 -- | Visualise circuits using Graphviz
 module Circuit.Dot
   ( arithCircuitToDot,
-    dotWriteSVG,
   )
 where
 
 import Circuit.Affine ()
 import Circuit.Arithmetic (ArithCircuit (..), Gate (..), Wire (..), booleanWires)
 import Data.Text qualified as Text
 import Protolude
-import System.FilePath (replaceExtension)
-import System.Process (readProcessWithExitCode)
 import Text.PrettyPrint.Leijen.Text (Pretty (..))
 
 arithCircuitToDot ::
@@ -78,12 +75,4 @@ arithCircuitToDot c@(ArithCircuit gates) =
         ++ map (\output -> dotArrow gateLabel (dotWire output)) outputs
       where
         gateLabel = Text.concat . fmap dotWire $ outputs
-    graphGate (Boolean _) = []
-
-callDot :: Text -> IO Text
-callDot g = do
-  (_, out, err) <- readProcessWithExitCode "dot" ["-Tsvg"] (Text.unpack g)
-  if err == "" then pure (Text.pack out) else panic (Text.pack err)
-
-dotWriteSVG :: FilePath -> Text -> IO ()
-dotWriteSVG path = callDot >=> writeFile (replaceExtension path ".svg")
+    graphGate (Boolean _) = []