remove php-ds

danny50610 · Aug 19, 2023 · ed12300 · ed12300
1 parent 37c1d23
commit ed12300
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 8 deletions.
diff --git a/composer.json b/composer.json
@@ -10,8 +10,7 @@
         }
     ],
     "require": {
-        "php": "^8.1",
-        "ext-ds": "*"
+        "php": "^8.1"
     },
     "require-dev": {
         "phpunit/phpunit": "^10"

diff --git a/composer.lock b/composer.lock
diff --git a/src/Encoding.php b/src/Encoding.php
@@ -38,8 +38,7 @@ protected function bytePairEncode(string $piece, $ranks): array
         // This is a vector of (start, rank).
         // The rank is of the byte pair starting at position start.
         // The rank of the last item in the vector is not a valid value.
-        $parts = new \Ds\Vector();
-        $parts->allocate(strlen($piece) + 1);
+        $parts = [];
         for ($i = 0; $i < strlen($piece) + 1; $i++) {
             $parts[] = [$i, PHP_INT_MAX];
         }
@@ -104,7 +103,7 @@ protected function bytePairEncode(string $piece, $ranks): array
                     $parts[$i - 1][1] = is_null($newValue) ? PHP_INT_MAX : $newValue;
                 }
 
-                $parts->remove($i + 1);
+                array_splice($parts, $i + 1, 1, null);
             } else {
                 break;
             }