Fix known-dimension arrays in specifiers

fco2/Parse.hs

@@ -1275,6 +1275,7 @@ dataSpecifier
     =   dataType
     <|> do s <- tryXXV sLeft sRight dataSpecifier
            return $ makeArrayType A.UnknownDimension s
+    <|> arrayType dataSpecifier
     <?> "data specifier"
 
 specifier :: OccParser A.Type
@@ -1285,6 +1286,7 @@ specifier
     <|> portType
     <|> do s <- tryXXV sLeft sRight specifier
            return $ makeArrayType A.UnknownDimension s
+    <|> arrayType specifier
     <?> "specifier"
 
 --{{{ PROCs and FUNCTIONs

fco2/testcases/array-arg.occ

@@ -0,0 +1,8 @@
+-- from cgtest07
+PROC bug.308()
+  PROC bug.308a([10][][5]INT a)
+    a[3] := a[2]
+  :
+  [10][3][5]INT a :
+  bug.308a(a)
+: