From 1b223cb1afc692468c0956796944b582dd2c4751 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <ymherklotz@gmail.com>
Date: Tue, 1 Jan 2019 15:24:42 +0100
Subject: Add monoid instance for LVal

---
 src/Test/VeriFuzz/Verilog/AST.hs | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/Test/VeriFuzz/Verilog/AST.hs b/src/Test/VeriFuzz/Verilog/AST.hs
index 965f6e3..b643db5 100644
--- a/src/Test/VeriFuzz/Verilog/AST.hs
+++ b/src/Test/VeriFuzz/Verilog/AST.hs
@@ -71,6 +71,15 @@ data LVal = RegId Identifier
           | RegConcat { _regConc :: [Expr] }
           deriving (Eq)
 
+instance Semigroup LVal where
+  (RegConcat a) <> (RegConcat b) = RegConcat $ a <> b
+  (RegConcat a) <> b = RegConcat $ a <> [b]
+  a <> (RegConcat b) = RegConcat $ a : b
+  a <> b = RegConcat [a, b]
+
+instance Monoid LVal where
+  mempty = RegConcat []
+
 -- | Binary operators that are currently supported in the verilog generation.
 data BinaryOperator = BinPlus    -- ^ @+@
                     | BinMinus   -- ^ @-@
@@ -115,7 +124,7 @@ data UnaryOperator = UnPlus    -- ^ @+@
 -- | Verilog expression, which can either be a primary expression, unary
 -- expression, binary operator expression or a conditional expression.
 data Expr = Number { _numSize :: Int
-                   , _numVal  :: Int
+                   , _numVal  :: Integer
                    }
           | Id { _exprId :: Identifier }
           | Concat { _concatExpr :: [Expr] }
-- 
cgit