From 84a14c1a941ffdef11c6e4f4121c2e7b51fb5db9 Mon Sep 17 00:00:00 2001 From: openhands Date: Tue, 9 Dec 2025 16:43:04 +0800 Subject: [PATCH] Fix deprecation warning: replace @priority_queue.T with @priority_queue.PriorityQueue Co-authored-by: openhands --- pkg.generated.mbti | 2 +- pretty.mbt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/pkg.generated.mbti b/pkg.generated.mbti index ccdddf8..5d32ec8 100644 --- a/pkg.generated.mbti +++ b/pkg.generated.mbti @@ -135,7 +135,7 @@ pub impl[A : Pretty] Pretty for @moonbitlang/core/immut/hashset.HashSet[A] pub impl[A : Pretty, B : Pretty] Pretty for @moonbitlang/core/immut/sorted_map.SortedMap[A, B] pub impl[A : Pretty] Pretty for @moonbitlang/core/immut/sorted_set.SortedSet[A] pub impl[A : Pretty] Pretty for @list.List[A] -pub impl[A : Pretty + Eq + Compare] Pretty for @priority_queue.T[A] +pub impl[A : Pretty + Eq + Compare] Pretty for @priority_queue.PriorityQueue[A] pub impl[A : Pretty] Pretty for @queue.Queue[A] pub impl[A : Pretty] Pretty for @set.Set[A] pub impl[A : Pretty, B : Pretty] Pretty for @moonbitlang/core/sorted_map.SortedMap[A, B] diff --git a/pretty.mbt b/pretty.mbt index 9640f9b..8f54b82 100644 --- a/pretty.mbt +++ b/pretty.mbt @@ -461,7 +461,7 @@ pub impl[A : Pretty] Pretty for @queue.Queue[A] with pretty(queue) { } ///| -pub impl[A : Pretty + Eq + Compare] Pretty for @priority_queue.T[A] with pretty( +pub impl[A : Pretty + Eq + Compare] Pretty for @priority_queue.PriorityQueue[A] with pretty( queue, ) { pretty(queue.to_array())