Add missing error in json array coercion

Resolves #729 on GitHub
MiniZinc · Sep 12, 2023 · da11a93 · da11a93
1 parent afe67ac
commit da11a93
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/lib/json_parser.cpp b/lib/json_parser.cpp
@@ -759,7 +759,11 @@ Expression* JSONParser::coerceArray(TypeInst* ti, ArrayLit* al) {
             dims.emplace_back(1, nal->size());
           } else {
             if (nal->size() != dims[it.size() - 1].second) {
-              // TODO: Inconsistent array size.
+              throw JSONError(_env, Expression::loc(expr),
+                              "Mismatch in array dimensions in JSON array literal: dimension " +
+                                  std::to_string(it.size()) + " was found with both length " +
+                                  std::to_string(dims[it.size() - 1].second) + " and length " +
+                                  std::to_string(nal->size()) + ".");
             }
           }
         } else {