From fbb7be7702cdf6f74a04b68525069042a899c9b5 Mon Sep 17 00:00:00 2001
From: Yann Herklotz Grave <git@yannherklotzgrave.com>
Date: Fri, 15 Feb 2019 13:34:11 +0000
Subject: Fix all warnings

---
 src/VeriFuzz/AST.hs     | 5 +++--
 src/VeriFuzz/CodeGen.hs | 3 ++-
 2 files changed, 5 insertions(+), 3 deletions(-)

(limited to 'src/VeriFuzz')

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      = "|"
-- 
cgit