From c6e39268be197a4eaccc0187271764a646017715 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sun, 27 Oct 2024 01:00:38 +0200
Subject: Refactored comparisons and sets

---
 std/String.bruijn | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'std/String.bruijn')

diff --git a/std/String.bruijn b/std/String.bruijn
index 291188d..4ee002b 100644
--- a/std/String.bruijn
+++ b/std/String.bruijn
@@ -18,7 +18,9 @@ eq? eq? B.eq? ⧗ String → String → Boolean
 ?‣ &eq?
 
 # returns eq, gt, lt depending on comparison of two numbers
-compare-case B.<=>compare-case ⧗ a → b → c → String → String → d
+compare-case B.<?>compare-case' ⧗ a → b → c → String → String → d
+
+<?>‣ &compare-case
 
 # returns 1 if a>b, -1 if a<b and 0 if a=b
 # also: spaceship operator
@@ -31,8 +33,8 @@ compare compare-case (+0) (+1) (-1) ⧗ String → String → Number
 :test (compare "2" "2") ((+0))
 :test (compare "2" "1") ((+1))
 :test (compare "1" "2") ((-1))
-:test (compare "12" "1") ((-1))
-:test (compare "1" "12") ((+1))
+:test (compare "12" "1") ((+1))
+:test (compare "1" "12") ((-1))
 
 # returns true if string is lexically less than other string
 lt? c-lt? ∘∘ compare ⧗ String → String → Boolean
-- 
cgit v1.2.3