aboutsummaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorYann Herklotz <ymherklotz@gmail.com>2019-01-01 14:40:51 +0100
committerYann Herklotz <ymherklotz@gmail.com>2019-01-01 14:40:51 +0100
commit531f39d5dabb752b3f3c2599977442b0c8484444 (patch)
tree292fc06e3387417d7a6632707a62ce9761ed66ed /src
parentdec25325b97648b3cff5230c8b3c51916ae2c0e2 (diff)
downloadverismith-531f39d5dabb752b3f3c2599977442b0c8484444.tar.gz
verismith-531f39d5dabb752b3f3c2599977442b0c8484444.zip
Remove empty statement and Monoid instance
Diffstat (limited to 'src')
-rw-r--r--src/Test/VeriFuzz/Verilog/AST.hs4
1 files changed, 0 insertions, 4 deletions
diff --git a/src/Test/VeriFuzz/Verilog/AST.hs b/src/Test/VeriFuzz/Verilog/AST.hs
index 5fa2d51..288fb2e 100644
--- a/src/Test/VeriFuzz/Verilog/AST.hs
+++ b/src/Test/VeriFuzz/Verilog/AST.hs
@@ -222,7 +222,6 @@ data Stmnt = TimeCtrl { _statDelay :: Delay
| StatCA ContAssign -- ^ Stmnt continuous assignment. May not be correct.
| TaskEnable Task
| SysTaskEnable Task
- | EmptyStat
deriving (Eq)
instance Semigroup Stmnt where
@@ -231,9 +230,6 @@ instance Semigroup Stmnt where
a <> (SeqBlock b) = SeqBlock $ a : b
a <> b = SeqBlock [a, b]
-instance Monoid Stmnt where
- mempty = EmptyStat
-
data Task = Task { _taskName :: Identifier
, _taskExpr :: [Expr]
} deriving (Eq)