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/AST.hs | |
parent | 0d1d5c2c9ebb9f658c401610551242b835144eb1 (diff) | |
download | verismith-fbb7be7702cdf6f74a04b68525069042a899c9b5.tar.gz verismith-fbb7be7702cdf6f74a04b68525069042a899c9b5.zip |
Fix all warnings
Diffstat (limited to 'src/VeriFuzz/AST.hs')
-rw-r--r-- | src/VeriFuzz/AST.hs | 5 |
1 files changed, 3 insertions, 2 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 |