module item traversals visit items with attributes

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

test/basic/attr.sv

@@ -0,0 +1,7 @@
+module top;
+    (* foo="bar" *) logic x;
+    initial begin
+        x = 1;
+        $display(x);
+    end
+endmodule

test/basic/attr.v

@@ -0,0 +1,7 @@
+module top;
+    (* foo="bar" *) reg x;
+    initial begin
+        x = 1;
+        $display(x);
+    end
+endmodule