use new approach to locate OP_NEWTABLE when checking types of assignm…

…ents to local variables

src/lparser.c

@@ -1245,6 +1245,7 @@ static void ravi_typecheck(LexState *ls, expdesc *v, int *vars, int nvars,
     if (v->ravi_type != vartype &&
         (vartype == RAVI_TARRAYFLT || vartype == RAVI_TARRAYINT) &&
         v->k == VNONRELOC) {
+#if 0
       /* as the bytecode for generating a table is already emitted by this stage
        * we have to amend the generated byte code - not sure if there is a
        * better approach. We look for the last bytecode that is OP_NEWTABLE 
@@ -1274,6 +1275,25 @@ static void ravi_typecheck(LexState *ls, expdesc *v, int *vars, int nvars,
       }
       if (i < 0)
         luaX_syntaxerror(ls, "expecting array initializer");
+#else
+      int ok = 0;
+      if (v->pc >= 0) {
+        Instruction *pc = &ls->fs->f->code[v->pc];
+        OpCode op = GET_OPCODE(*pc);
+        if (op == OP_NEWTABLE) {
+          int reg = GETARG_A(*pc);
+          if (reg == v->u.info) {
+            op = (vartype == RAVI_TARRAYINT) ? OP_RAVI_NEWARRAYI : OP_RAVI_NEWARRAYF;
+            SET_OPCODE(*pc, op); /* modify opcode */
+            DEBUG_CODEGEN(
+               raviY_printf(ls->fs, "[%d]* %o ; modify opcode\n", v->pc, *pc));
+            ok = 1;
+          }
+        }
+      }
+      if (!ok)
+        luaX_syntaxerror(ls, "expecting array initializer");
+#endif
     }
     /* if we are calling a function then convert return types */
     else if (v->ravi_type != vartype &&