:bug: Parse td[x][y] in decl

diff --git a/src/parse/check.c b/src/parse/check.c
index 316b9d4aa0c5a59e32c0d0338595a6f7e58ba90b..cfa39e0c62ef5a051e1bd6b3f6f84e5972f76b80 100644 (file)
--- a/src/parse/check.c
+++ b/src/parse/check.c
@@ -172,6 +172,8 @@ ANN static inline m_bool inferable(const Env env, const Type t, const loc_t pos)
 ANN Type check_exp_decl(const Env env, const Exp_Decl* decl) {
   if(!decl->td->xid)
     return no_xid(env, decl);
+  if(decl->td->array && decl->td->array->exp)
+    CHECK_OO(check_exp(env, decl->td->array->exp))
   if(decl->td->xid == insert_symbol("auto")) { // should be better
     CHECK_BO(scan1_exp(env, exp_self(decl)))
     CHECK_BO(scan2_exp(env, exp_self(decl)))