diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-02 11:36:48 +0100 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-02 11:36:48 +0100 |
commit | e99ef10cf0905a77c59dbec050e4b3f4d553a3a9 (patch) | |
tree | e83141950140b10e263a46f9eaa838a14cd64277 /src | |
parent | 18e69d8a89ff0c2dbce4f3b37f5f4e53a6044a3b (diff) | |
download | verismith-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.hs | 5 |
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) = |