diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-01 14:48:54 +0100 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-01 14:48:54 +0100 |
commit | fd2963cae60c87aa3bcf382829cb7c44e6e0c2ae (patch) | |
tree | fdb170affd1b7f727ca057587f01850729a36fd8 /src/Test/VeriFuzz/Verilog/CodeGen.hs | |
parent | 99d2932e1b4357f4e0aa303a29d08bfd81977a9e (diff) | |
download | verismith-fd2963cae60c87aa3bcf382829cb7c44e6e0c2ae.tar.gz verismith-fd2963cae60c87aa3bcf382829cb7c44e6e0c2ae.zip |
Fix linting warnings
Diffstat (limited to 'src/Test/VeriFuzz/Verilog/CodeGen.hs')
-rw-r--r-- | src/Test/VeriFuzz/Verilog/CodeGen.hs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/Test/VeriFuzz/Verilog/CodeGen.hs b/src/Test/VeriFuzz/Verilog/CodeGen.hs index 81dfd97..ce6541e 100644 --- a/src/Test/VeriFuzz/Verilog/CodeGen.hs +++ b/src/Test/VeriFuzz/Verilog/CodeGen.hs @@ -33,7 +33,7 @@ showT = T.pack . show -- | Map a 'Maybe Stmnt' to 'Text'. If it is 'Just stmnt', the generated -- statements are returned. If it is 'Nothing', then @;\n@ is returned. defMap :: Maybe Stmnt -> Text -defMap stat = fromMaybe ";\n" $ genStmnt <$> stat +defMap = maybe ";\n" genStmnt -- | Convert the 'VerilogSrc' type to 'Text' so that it can be rendered. genVerilogSrc :: VerilogSrc -> Text @@ -55,7 +55,7 @@ genModuleDecl mod = where ports | noIn && noOut = "" - | otherwise = "(" <> (comma $ genModPort <$> outIn) <> ")" + | otherwise = "(" <> comma (genModPort <$> outIn) <> ")" modItems = fold $ genModuleItem <$> mod ^. moduleItems noOut = null $ mod ^. modOutPorts noIn = null $ mod ^. modInPorts @@ -91,7 +91,7 @@ genModuleItem (ModInst (Identifier id) (Identifier name) conn) = genModuleItem (Initial stat) = "initial " <> genStmnt stat genModuleItem (Always stat) = "always " <> genStmnt stat genModuleItem (Decl dir port) = - (fromMaybe "" $ ((<>" ") . genPortDir) <$> dir) <> genPort port <> ";\n" + (maybe "" (<>" ") . genPortDir <$> dir) <> genPort port <> ";\n" -- | Generate continuous assignment genContAssign :: ContAssign -> Text @@ -99,7 +99,7 @@ genContAssign (ContAssign val e) = "assign " <> name <> " = " <> expr <> ";\n" where name = val ^. getIdentifier - expr = genExpr $ e + expr = genExpr e -- | Generate 'Expr' to 'Text'. genExpr :: Expr -> Text @@ -189,7 +189,7 @@ genPortType (Reg signed) genAssign :: Text -> Assign -> Text genAssign op (Assign r d e) = - genLVal r <> op <> fromMaybe "" (genDelay <$> d) <> genExpr e + genLVal r <> op <> maybe "" genDelay d <> genExpr e genStmnt :: Stmnt -> Text genStmnt (TimeCtrl d stat) = genDelay d <> " " <> defMap stat |