No empty array

Signed-off-by: Juan Cruz Viotti <jv@jviotti.com>

Author: jviotti

src/evaluator/include/sourcemeta/blaze/evaluator_dispatch.h

@@ -2208,7 +2208,8 @@ INSTRUCTION_HANDLER(LoopItemsPropertiesExactlyTypeStrictHash3) {
 }
 
 INSTRUCTION_HANDLER(LoopItemsIntegerBounded) {
-  EVALUATE_BEGIN_NON_STRING(LoopItemsIntegerBounded, target.is_array());
+  EVALUATE_BEGIN_NON_STRING(LoopItemsIntegerBounded,
+                            target.is_array() && !target.empty());
   const auto value{assume_value_copy<ValueIntegerBounds>(instruction.value)};
   result = true;
   for (const auto &element : target.as_array()) {

test/evaluator/evaluator_2020_12.json

@@ -1890,17 +1890,7 @@
     },
     "instance": [],
     "valid": true,
-    "fast": {
-      "pre": [
-        [ "LoopItemsIntegerBounded", "/items", "#/items", "" ]
-      ],
-      "post": [
-        [ true, "LoopItemsIntegerBounded", "/items", "#/items", "" ]
-      ],
-      "descriptions": [
-        "Every item in the array was expected to be a number within the given range"
-      ]
-    },
+    "fast": {},
     "exhaustive": {}
   },
   {

test/evaluator/evaluator_draft4.json

@@ -9877,17 +9877,7 @@
     },
     "instance": [],
     "valid": true,
-    "fast": {
-      "pre": [
-        [ "LoopItemsIntegerBounded", "/items", "#/items", "" ]
-      ],
-      "post": [
-        [ true, "LoopItemsIntegerBounded", "/items", "#/items", "" ]
-      ],
-      "descriptions": [
-        "Every item in the array was expected to be a number within the given range"
-      ]
-    },
+    "fast": {},
     "exhaustive": {
       "pre": [
         [ "LoopItems", "/items", "#/items", "" ]

test/evaluator/evaluator_draft6.json

@@ -3316,17 +3316,7 @@
     },
     "instance": [],
     "valid": true,
-    "fast": {
-      "pre": [
-        [ "LoopItemsIntegerBounded", "/items", "#/items", "" ]
-      ],
-      "post": [
-        [ true, "LoopItemsIntegerBounded", "/items", "#/items", "" ]
-      ],
-      "descriptions": [
-        "Every item in the array was expected to be a number within the given range"
-      ]
-    },
+    "fast": {},
     "exhaustive": {
       "pre": [
         [ "LoopItems", "/items", "#/items", "" ]