From 7f1b3462024211eebeb609d4b4ab055d4bb738fa Mon Sep 17 00:00:00 2001
From: Yann Herklotz Grave <git@yannherklotzgrave.com>
Date: Fri, 1 Mar 2019 12:30:35 +0000
Subject: Fix warnings in ASTGen and make it more general

---
 src/VeriFuzz/ASTGen.hs | 20 +++++++++-----------
 1 file changed, 9 insertions(+), 11 deletions(-)

(limited to 'src')

diff --git a/src/VeriFuzz/ASTGen.hs b/src/VeriFuzz/ASTGen.hs
index 0321e25..5dd2c73 100644
--- a/src/VeriFuzz/ASTGen.hs
+++ b/src/VeriFuzz/ASTGen.hs
@@ -15,14 +15,13 @@ module VeriFuzz.ASTGen
     )
 where
 
-import           Control.Lens              ((^..))
-import           Data.Foldable             (fold)
 import           Data.Graph.Inductive      (LNode, Node)
 import qualified Data.Graph.Inductive      as G
 import           Data.Maybe                (catMaybes)
 import           VeriFuzz.AST
 import           VeriFuzz.Circuit
 import           VeriFuzz.Internal.Circuit
+import           VeriFuzz.Mutate
 
 -- | Converts a 'CNode' to an 'Identifier'.
 frNode :: Node -> Identifier
@@ -46,10 +45,10 @@ genPortsAST f c = port . frNode <$> f c where port = Port Wire False 4
 genAssignExpr :: Gate -> [Node] -> Maybe Expr
 genAssignExpr _ []       = Nothing
 genAssignExpr _ [n     ] = Just . Id $ frNode n
-genAssignExpr g (n : ns) = BinOp wire op <$> genAssignExpr g ns
+genAssignExpr g (n : ns) = BinOp wire oper <$> genAssignExpr g ns
   where
     wire = Id $ frNode n
-    op   = fromGate g
+    oper = fromGate g
 
 -- | Generate the continuous assignment AST for a particular node. If it does
 -- not have any nodes that link to it then return 'Nothing', as that means that
@@ -68,14 +67,13 @@ genAssignAST c = catMaybes $ genContAssignAST c <$> nodes
     nodes = G.labNodes gr
 
 genModuleDeclAST :: Circuit -> ModDecl
-genModuleDeclAST c = ModDecl i output ports items
+genModuleDeclAST c = ModDecl i output ports $ combineAssigns yPort a
   where
-    i       = Identifier "gen_module"
-    ports   = genPortsAST inputsC c
-    output  = [Port Wire False 90 "y"]
-    a       = genAssignAST c
-    items   = a ++ [ModCA . ContAssign "y" . fold $ Id <$> assigns]
-    assigns = a ^.. traverse . modContAssign . contAssignNetLVal
+    i      = Identifier "gen_module"
+    ports  = genPortsAST inputsC c
+    output = []
+    a      = genAssignAST c
+    yPort  = Port Wire False 90 "y"
 
 generateAST :: Circuit -> VerilogSrc
 generateAST c = VerilogSrc [Description $ genModuleDeclAST c]
-- 
cgit