From bb2a8febea8eb245492696f085feda22e42af849 Mon Sep 17 00:00:00 2001
From: Zachary Snow <zach@zachjs.com>
Date: Sun, 15 Sep 2019 16:56:55 -0400
Subject: [PATCH] module item traversals visit items with attributes

---
 src/Convert/Traverse.hs | 2 ++
 test/basic/attr.sv      | 7 +++++++
 test/basic/attr.v       | 7 +++++++
 3 files changed, 16 insertions(+)
 create mode 100644 test/basic/attr.sv
 create mode 100644 test/basic/attr.v

diff --git a/src/Convert/Traverse.hs b/src/Convert/Traverse.hs
index c13152f..b8b1bc9 100644
--- a/src/Convert/Traverse.hs
+++ b/src/Convert/Traverse.hs
@@ -128,6 +128,8 @@ traverseModuleItemsM mapper (Part extern kw lifetime name ports items) = do
             mapM fullGenItemMapper genItems >>= mapper . Generate
         fullMapper (Generate genItems) =
             mapM fullGenItemMapper genItems >>= mapper . Generate
+        fullMapper (MIAttr attr mi) =
+            fullMapper mi >>= return . MIAttr attr
         fullMapper other = mapper other
         fullGenItemMapper = traverseNestedGenItemsM genItemMapper
         genItemMapper (GenModuleItem moduleItem) = do
diff --git a/test/basic/attr.sv b/test/basic/attr.sv
new file mode 100644
index 0000000..ccc2e60
--- /dev/null
+++ b/test/basic/attr.sv
@@ -0,0 +1,7 @@
+module top;
+    (* foo="bar" *) logic x;
+    initial begin
+        x = 1;
+        $display(x);
+    end
+endmodule
diff --git a/test/basic/attr.v b/test/basic/attr.v
new file mode 100644
index 0000000..72f679f
--- /dev/null
+++ b/test/basic/attr.v
@@ -0,0 +1,7 @@
+module top;
+    (* foo="bar" *) reg x;
+    initial begin
+        x = 1;
+        $display(x);
+    end
+endmodule