From e99ef10cf0905a77c59dbec050e4b3f4d553a3a9 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 2 Jan 2019 11:36:48 +0100 Subject: Add conversion ByteString -> Integer This means that the integer can then be printed in hex using showHex. --- src/Test/VeriFuzz/Verilog/CodeGen.hs | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/Test/VeriFuzz/Verilog/CodeGen.hs b/src/Test/VeriFuzz/Verilog/CodeGen.hs index 5e847a6..eaac48b 100644 --- a/src/Test/VeriFuzz/Verilog/CodeGen.hs +++ b/src/Test/VeriFuzz/Verilog/CodeGen.hs @@ -19,6 +19,7 @@ import Data.Maybe (isNothing) import Data.Text (Text) import qualified Data.Text as T import qualified Data.Text.IO as T +import Numeric (showHex) import Test.VeriFuzz.Internal.Shared import Test.VeriFuzz.Verilog.AST @@ -108,9 +109,7 @@ genExpr :: Expr -> Text genExpr (BinOp exprRhs bin exprLhs) = "(" <> genExpr exprRhs <> genBinaryOperator bin <> genExpr exprLhs <> ")" genExpr (Number s n) = - "(" <> sh (s * signum n) <> "'d" <> (sh . abs) n <> ")" - where - sh = T.pack . show + showT s <> "'h" <> T.pack (showHex n "") genExpr (Id i) = i ^. getIdentifier genExpr (Concat c) = "{" <> comma (genExpr <$> c) <> "}" genExpr (UnOp u e) = -- cgit