diff options
| author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-15 13:34:11 +0000 |
|---|---|---|
| committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-15 13:34:11 +0000 |
| commit | fbb7be7702cdf6f74a04b68525069042a899c9b5 (patch) | |
| tree | a1deba3135ec6f7a74305c14c920eef9de78fb4c /src/VeriFuzz/CodeGen.hs | |
| parent | 0d1d5c2c9ebb9f658c401610551242b835144eb1 (diff) | |
| download | verismith-fbb7be7702cdf6f74a04b68525069042a899c9b5.tar.gz verismith-fbb7be7702cdf6f74a04b68525069042a899c9b5.zip | |
Fix all warnings
Diffstat (limited to 'src/VeriFuzz/CodeGen.hs')
| -rw-r--r-- | src/VeriFuzz/CodeGen.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/VeriFuzz/CodeGen.hs b/src/VeriFuzz/CodeGen.hs index 54240cb..ea3159d 100644 --- a/src/VeriFuzz/CodeGen.hs +++ b/src/VeriFuzz/CodeGen.hs @@ -155,7 +155,8 @@ genBinaryOperator BinASR = " >>> " genUnaryOperator :: UnaryOperator -> Text genUnaryOperator UnPlus = "+" genUnaryOperator UnMinus = "-" -genUnaryOperator UnNot = "!" +genUnaryOperator UnLNot = "!" +genUnaryOperator UnNot = "~" genUnaryOperator UnAnd = "&" genUnaryOperator UnNand = "~&" genUnaryOperator UnOr = "|" |