aboutsummaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorYann Herklotz <ymherklotz@gmail.com>2019-01-02 11:36:48 +0100
committerYann Herklotz <ymherklotz@gmail.com>2019-01-02 11:36:48 +0100
commite99ef10cf0905a77c59dbec050e4b3f4d553a3a9 (patch)
treee83141950140b10e263a46f9eaa838a14cd64277 /src
parent18e69d8a89ff0c2dbce4f3b37f5f4e53a6044a3b (diff)
downloadverismith-e99ef10cf0905a77c59dbec050e4b3f4d553a3a9.tar.gz
verismith-e99ef10cf0905a77c59dbec050e4b3f4d553a3a9.zip
Add conversion ByteString -> Integer
This means that the integer can then be printed in hex using showHex.
Diffstat (limited to 'src')
-rw-r--r--src/Test/VeriFuzz/Verilog/CodeGen.hs5
1 files 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) =