Fix issue #419: suppress duplicate error message.

dec.cc

@@ -60,9 +60,9 @@ void dimensions::prettyprint(ostream &out, Int indent)
   out << "dimensions (" << depth << ")\n";
 }
 
-types::array *dimensions::truetype(types::ty *base)
+types::array *dimensions::truetype(types::ty *base, bool tacit)
 {
-  if (base->kind == ty_void) {
+  if (!tacit && base->kind == ty_void) {
     em.error(getPos());
     em << "cannot declare array of type void";
   }
@@ -109,7 +109,7 @@ types::ty *arrayTy::trans(coenv &e, bool tacit)
   if (ct->kind == types::ty_error)
     return ct;
 
-  types::array *t = dims->truetype(ct);
+  types::array *t = dims->truetype(ct,tacit);
   assert(t);
 
   return t;
@@ -386,9 +386,10 @@ trans::tyEntry *decidstart::getTyEntry(trans::tyEntry *base, coenv &e,
 void decidstart::addOps(types::ty *base, coenv &e, record *r)
 {
   if (dims) {
-    e.e.addArrayOps(dims->truetype(base));
+    array *a=dims->truetype(base);
+    e.e.addArrayOps(a);
     if (r)
-      r->e.addArrayOps(dims->truetype(base));
+      r->e.addArrayOps(a);
   }
 }
 

dec.h

@@ -102,7 +102,7 @@ class dimensions : public absyn {
     return depth;
   }
 
-  types::array *truetype(types::ty *base);
+  types::array *truetype(types::ty *base, bool tacit=false);
 };
 
 class arrayTy : public ty {