aboutsummaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorYann Herklotz <ymherklotz@gmail.com>2018-12-31 19:20:54 +0100
committerYann Herklotz <ymherklotz@gmail.com>2018-12-31 19:20:54 +0100
commit4f9e123fc9b00986f627aeaf0eee6c29be1b3780 (patch)
treeeb383ea1009c817e3a84620bbeaab539ea0514aa /src
parent4b29933ce947acb9da6fb1d3a61aae186e235843 (diff)
downloadverismith-4f9e123fc9b00986f627aeaf0eee6c29be1b3780.tar.gz
verismith-4f9e123fc9b00986f627aeaf0eee6c29be1b3780.zip
Fix build errors
Diffstat (limited to 'src')
-rw-r--r--src/Test/VeriFuzz/Graph/CodeGen.hs6
-rw-r--r--src/Test/VeriFuzz/Verilog/CodeGen.hs1
2 files changed, 5 insertions, 2 deletions
diff --git a/src/Test/VeriFuzz/Graph/CodeGen.hs b/src/Test/VeriFuzz/Graph/CodeGen.hs
index 5d3232c..b890a04 100644
--- a/src/Test/VeriFuzz/Graph/CodeGen.hs
+++ b/src/Test/VeriFuzz/Graph/CodeGen.hs
@@ -14,10 +14,12 @@ module Test.VeriFuzz.Graph.CodeGen
( generate
) where
+import Data.Foldable (fold)
import Data.Graph.Inductive (Graph, LNode, Node, indeg,
labNodes, nodes, outdeg, pre)
import Data.Maybe (fromMaybe)
-import Data.Text (Text, empty, pack)
+import Data.Text (Text)
+import qualified Data.Text as T
import Test.VeriFuzz.Circuit
import Test.VeriFuzz.Internal.Gen
import Test.VeriFuzz.Internal.Shared
@@ -37,7 +39,7 @@ lastEl n = fromNode <$> safe head n
toStmnt :: (Graph gr) => gr Gate e -> LNode Gate -> Text
toStmnt graph (n, g) =
- fromMaybe empty $ Just " assign " <> Just (fromNode n)
+ fromMaybe T.empty $ Just " assign " <> Just (fromNode n)
<> Just " = " <> statList g nodeL <> lastEl nodeL <> Just ";\n"
where
nodeL = pre graph n
diff --git a/src/Test/VeriFuzz/Verilog/CodeGen.hs b/src/Test/VeriFuzz/Verilog/CodeGen.hs
index 4fecaec..d0b1fec 100644
--- a/src/Test/VeriFuzz/Verilog/CodeGen.hs
+++ b/src/Test/VeriFuzz/Verilog/CodeGen.hs
@@ -14,6 +14,7 @@ This module generates the code from the Verilog AST defined in
module Test.VeriFuzz.Verilog.CodeGen where
import Control.Lens
+import Data.Foldable (fold)
import Data.Maybe (fromMaybe, isNothing)
import Data.Text (Text)
import qualified Data.Text as T