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.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/VeriFuzz/ASTGen.hs b/src/VeriFuzz/ASTGen.hs
index 6bac157..ff948c3 100644
--- a/src/VeriFuzz/ASTGen.hs
+++ b/src/VeriFuzz/ASTGen.hs
@@ -38,7 +38,7 @@ inputsC :: Circuit -> [Node]
inputsC c = inputs (getCircuit c)
genPortsAST :: (Circuit -> [Node]) -> Circuit -> [Port]
-genPortsAST f c = port . frNode <$> f c where port = Port Wire 4
+genPortsAST f c = port . frNode <$> f c where port = Port Wire False 4
-- | Generates the nested expression AST, so that it can then generate the
-- assignment expressions.
@@ -71,7 +71,7 @@ genModuleDeclAST c = ModDecl i output ports items
where
i = Identifier "gen_module"
ports = genPortsAST inputsC c
- output = [Port Wire 90 "y"]
+ output = [Port Wire False 90 "y"]
a = genAssignAST c
items = a ++ [ModCA . ContAssign "y" . fold $ Id <$> assigns]
assigns = a ^.. traverse . modContAssign . contAssignNetLVal