remove extra space after signed in scalar types

zachjs · Aug 5, 2024 · 4e989bc · 4e989bc
1 parent 1b27343
commit 4e989bc
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 0 deletions.
diff --git a/src/Language/SystemVerilog/AST/Type.hs b/src/Language/SystemVerilog/AST/Type.hs
@@ -57,6 +57,7 @@ instance Show Type where
     show (Alias         xx    rs) = printf "%s%s" xx (showRanges rs)
     show (PSAlias ps    xx    rs) = printf "%s::%s%s" ps xx (showRanges rs)
     show (CSAlias ps pm xx    rs) = printf "%s#%s::%s%s" ps (showParams pm) xx (showRanges rs)
+    show (Implicit         sg []) = show sg
     show (Implicit         sg rs) = printf "%s%s"             (showPad       sg) (dropWhile (== ' ') $ showRanges rs)
     show (IntegerVector kw sg rs) = printf "%s%s%s" (show kw) (showPadBefore sg) (showRanges rs)
     show (IntegerAtom   kw sg   ) = printf "%s%s"   (show kw) (showPadBefore sg)

diff --git a/test/core/interface_input_type.sv.pat b/test/core/interface_input_type.sv.pat
@@ -0,0 +1,2 @@
+reject wire signed  x;
+affirm wire signed x;
diff --git a/test/core/param_typeof.sv.pat b/test/core/param_typeof.sv.pat
@@ -0,0 +1,2 @@
+reject parameter signed[15:0] X = 0;
+affirm parameter signed [15:0] X = 0;
diff --git a/test/core/unbased_unsized.sv.pat b/test/core/unbased_unsized.sv.pat
@@ -1 +1,3 @@
 affirm ? (* foo *) (* bar *)
+reject input wire  [W + 1:1] b;
+affirm input wire [W + 1:1] b;