[Type] correct dict string (#203)

Author: ntzm

src/Psl/Type/Internal/DictType.php

@@ -48,9 +48,9 @@ public function coerce(mixed $value): array
     {
         if (is_iterable($value)) {
             $key_trace   = $this->getTrace()
-                ->withFrame(Str\format('array<%s, _>', $this->key_type->toString()));
+                ->withFrame(Str\format('dict<%s, _>', $this->key_type->toString()));
             $value_trace = $this->getTrace()
-                ->withFrame(Str\format('array<_, %s>', $this->value_type->toString()));
+                ->withFrame(Str\format('dict<_, %s>', $this->value_type->toString()));
 
             $key_type = $this->key_type->withTrace($key_trace);
             $value_type = $this->value_type->withTrace($value_trace);
@@ -82,9 +82,9 @@ public function assert(mixed $value): array
     {
         if (is_array($value)) {
             $key_trace   = $this->getTrace()
-                ->withFrame(Str\format('array<%s, _>', $this->key_type->toString()));
+                ->withFrame(Str\format('dict<%s, _>', $this->key_type->toString()));
             $value_trace = $this->getTrace()
-                ->withFrame(Str\format('array<_, %s>', $this->value_type->toString()));
+                ->withFrame(Str\format('dict<_, %s>', $this->value_type->toString()));
 
             $key_type = $this->key_type->withTrace($key_trace);
             $value_type = $this->value_type->withTrace($value_trace);
@@ -107,6 +107,6 @@ public function assert(mixed $value): array
 
     public function toString(): string
     {
-        return Str\format('array<%s, %s>', $this->key_type->toString(), $this->value_type->toString());
+        return Str\format('dict<%s, %s>', $this->key_type->toString(), $this->value_type->toString());
     }
 }

tests/unit/Type/DictTypeTest.php

@@ -91,12 +91,12 @@ public function getInvalidCoercions(): iterable
 
     public function getToStringExamples(): iterable
     {
-        yield [$this->getType(), 'array<int, int>'];
-        yield [Type\dict(Type\array_key(), Type\int()), 'array<array-key, int>'];
-        yield [Type\dict(Type\array_key(), Type\string()), 'array<array-key, string>'];
+        yield [$this->getType(), 'dict<int, int>'];
+        yield [Type\dict(Type\array_key(), Type\int()), 'dict<array-key, int>'];
+        yield [Type\dict(Type\array_key(), Type\string()), 'dict<array-key, string>'];
         yield [
             Type\dict(Type\array_key(), Type\object(Iter\Iterator::class)),
-            'array<array-key, Psl\Iter\Iterator>'
+            'dict<array-key, Psl\Iter\Iterator>'
         ];
     }
 }