Fix one more oversight

effekt-lang · Jan 22, 2025 · 7105dd2 · 7105dd2
1 parent b4ce2d5
commit 7105dd2
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/examples/stdlib/set/unique.effekt b/examples/stdlib/set/unique.effekt
@@ -40,7 +40,13 @@ def main() = {
   println("")
 
   def testSorted(s: Set[String]) = {
-    val sorted = s.toList.isSortedBy { (x, y) => x <= y }
+    val sorted = s.toList.isSortedBy { (x, y) =>
+      x.compareStringBytes(y) match {
+        case Equal() => true
+        case Less() => true
+        case Greater() => false
+      }
+    }
     if (sorted) {
       println("sorted")
     } else {