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 | |
| parent | 0d1d5c2c9ebb9f658c401610551242b835144eb1 (diff) | |
| download | verismith-fbb7be7702cdf6f74a04b68525069042a899c9b5.tar.gz verismith-fbb7be7702cdf6f74a04b68525069042a899c9b5.zip | |
Fix all warnings
Diffstat (limited to 'src/VeriFuzz')
| -rw-r--r-- | src/VeriFuzz/AST.hs | 5 | ||||
| -rw-r--r-- | src/VeriFuzz/CodeGen.hs | 3 |
2 files changed, 5 insertions, 3 deletions
diff --git a/src/VeriFuzz/AST.hs b/src/VeriFuzz/AST.hs index 0f71264..fe76042 100644 --- a/src/VeriFuzz/AST.hs +++ b/src/VeriFuzz/AST.hs @@ -237,6 +237,7 @@ instance QC.Arbitrary UnaryOperator where [ UnPlus , UnMinus , UnNot + , UnLNot , UnAnd , UnNand , UnOr @@ -347,8 +348,8 @@ instance QC.Arbitrary Expr where traverseExpr :: (Applicative f) => (Expr -> f Expr) -> Expr -> f Expr traverseExpr f (Concat e ) = Concat <$> sequenceA (f <$> e) -traverseExpr f (UnOp un e ) = UnOp un <$> f e -traverseExpr f (BinOp l op r) = BinOp <$> f l <*> pure op <*> f r +traverseExpr f (UnOp u e ) = UnOp u <$> f e +traverseExpr f (BinOp l o r) = BinOp <$> f l <*> pure o <*> f r traverseExpr f (Cond c l r) = Cond <$> f c <*> f l <*> f r traverseExpr f (Func fn e ) = Func fn <$> f e traverseExpr _ e = pure e 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 = "|" |