diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-02 13:43:45 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-02 13:43:45 +0000 |
| commit | 533415896b4bf22ad98b4758122c98eb555768df (patch) | |
| tree | 57d2e7faf23af589c90fbdc3f280252dcf456158 /src | |
| parent | ebbd9b95e764d2d5043ced74e8f0a998a0649846 (diff) | |
| download | verismith-533415896b4bf22ad98b4758122c98eb555768df.tar.gz verismith-533415896b4bf22ad98b4758122c98eb555768df.zip | |
Add brackets around number
Diffstat (limited to 'src')
| -rw-r--r-- | src/VeriFuzz/CodeGen.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/VeriFuzz/CodeGen.hs b/src/VeriFuzz/CodeGen.hs index 89bcdb1..54240cb 100644 --- a/src/VeriFuzz/CodeGen.hs +++ b/src/VeriFuzz/CodeGen.hs @@ -114,7 +114,7 @@ genFunc UnSignedFunc = "$unsigned" -- | Generate 'Expr' to 'Text'. genExpr :: Expr -> Text genExpr (BinOp eRhs bin eLhs) = "(" <> genExpr eRhs <> genBinaryOperator bin <> genExpr eLhs <> ")" -genExpr (Number s n ) = minus <> showT s <> "'h" <> T.pack (showHex (abs n) "") +genExpr (Number s n ) = "(" <> minus <> showT s <> "'h" <> T.pack (showHex (abs n) "") <> ")" where minus | signum n > 0 = "" | otherwise = "-" genExpr (Id i ) = i ^. getIdentifier genExpr (Concat c ) = "{" <> comma (genExpr <$> c) <> "}" |