parser rejects errant declarations

src/Language/SystemVerilog/Parser/ParseDecl.hs

@@ -343,9 +343,13 @@ parseDTsAsComponents tokens =
 parseDTsAsComponent :: [DeclToken] -> (Position, Component, [DeclToken])
 parseDTsAsComponent [] = error "parseDTsAsComponent unexpected end of tokens"
 parseDTsAsComponent l0 =
-    if l /= Nothing && l /= Just Automatic
+    if l /= Nothing && l /= Just Automatic then
-        then error $ "unexpected non-automatic lifetime: " ++ show l0
+        error $ "unexpected non-automatic lifetime: " ++ show l0
-        else (position, component, l5)
+    else if dir == Local && tf rs == Implicit Unspecified [] then
+        error $ "declaration(s) missing type information: "
+            ++ show (position, tps)
+    else
+        (position, component, l5)
     where
         (dir, l1) = takeDir      l0
         (l  , l2) = takeLifetime l1

test/error/dangling_stmt.sv

@@ -0,0 +1,4 @@
+module top;
+    logic y;
+    y = 1;
+endmodule

test/error/run.sh

@@ -9,6 +9,7 @@ addTest() {
     suite_addTest test_$test
 }
 
+source ../lib/functions.sh
 source ../lib/discover.sh
 
 . shunit2