aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/ASTGen.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/VeriFuzz/ASTGen.hs')
-rw-r--r--src/VeriFuzz/ASTGen.hs13
1 files changed, 7 insertions, 6 deletions
diff --git a/src/VeriFuzz/ASTGen.hs b/src/VeriFuzz/ASTGen.hs
index ff948c3..ab097e4 100644
--- a/src/VeriFuzz/ASTGen.hs
+++ b/src/VeriFuzz/ASTGen.hs
@@ -12,7 +12,8 @@ Generates the AST from the graph directly.
module VeriFuzz.ASTGen
( generateAST
- ) where
+ )
+where
import Control.Lens ((^..))
import Data.Foldable (fold)
@@ -69,11 +70,11 @@ genAssignAST c = catMaybes $ genContAssignAST c <$> nodes
genModuleDeclAST :: Circuit -> ModDecl
genModuleDeclAST c = ModDecl i output ports items
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]
+ 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
generateAST :: Circuit -> VerilogSrc