Add Sort ability

This adds a Sort ability, currently lacking any implementations of the ability.
roc-lang · May 18, 2024 · 10b42f1 · 10b42f1
1 parent f4291f4
commit 10b42f1
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 0 deletions.
diff --git a/crates/compiler/builtins/roc/List.roc b/crates/compiler/builtins/roc/List.roc
@@ -69,6 +69,8 @@ module [
     walkBackwardsUntil,
     countIf,
     chunksOf,
+    Sort,
+    compare,
 ]
 
 import Bool exposing [Bool, Eq]
@@ -1324,3 +1326,6 @@ iterBackwardsHelp = \list, state, f, prevIndex ->
             Break b -> Break b
     else
         Continue state
+
+Sort implements
+    compare : a, a -> [LessThan, Equal, GreaterThan] where a implements Sort
diff --git a/crates/compiler/builtins/roc/main.roc b/crates/compiler/builtins/roc/main.roc
@@ -6,6 +6,7 @@ package [
     List,
     Dict,
     Set,
+    Sort
     Decode,
     Encode,
     Hash,

diff --git a/crates/compiler/module/src/symbol.rs b/crates/compiler/module/src/symbol.rs
@@ -53,6 +53,7 @@ pub const DERIVABLE_ABILITIES: &[(Symbol, &[Symbol])] = &[
     (Symbol::DECODE_DECODING, &[Symbol::DECODE_DECODER]),
     (Symbol::HASH_HASH_ABILITY, &[Symbol::HASH_HASH]),
     (Symbol::BOOL_EQ, &[Symbol::BOOL_IS_EQ]),
+    (Symbol::LIST_SORT, &[Symbol::LIST_COMPARE]),
     (
         Symbol::INSPECT_INSPECT_ABILITY,
         &[Symbol::INSPECT_TO_INSPECTOR],
@@ -1531,6 +1532,8 @@ define_builtins! {
         86 LIST_WALK_WITH_INDEX_UNTIL: "walkWithIndexUntil"
         87 LIST_CLONE: "clone"
         88 LIST_LEN_USIZE: "lenUsize"
+        89 LIST_SORT: "Sort" exposed_type=true
+        90 LIST_COMPARE: "compare"
     }
     7 RESULT: "Result" => {
         0 RESULT_RESULT: "Result" exposed_type=true // the Result.Result type alias
-Original file line number
+Diff line change
@@ Expand Up / @@ -6,6 +6,7 @@ package [ @@
         List,
         Dict,
         Set,
+        Sort
         Decode,
         Encode,
         Hash,
@@ Expand Down @@