test set<?

1 files changed, 24 insertions, 1 deletions

diff --git a/tests/srfi-113-sets.scm b/tests/srfi-113-sets.scm
index b18cbd8..ba1d96a 100644
--- a/tests/srfi-113-sets.scm
+++ b/tests/srfi-113-sets.scm
@@ -22,7 +22,8 @@
 (define test-set-every #f)
 (define test-set-delete #f)
 (define test-set= #f)
-(define test-set<= #t)
+(define test-set<= #f)
+(define test-set< #t)
 (define test-set-intersection #f)
 
 (define cmp (make-default-comparator))
@@ -470,6 +471,28 @@
         (set<=? set set+)))
     (test-property adjoin-set<= (list (random-sets)))))
 
+;;; ;;;;;;;;;;;;;;;;;;;;;;
+;;; set<?
+;;; ;;;;;;;;;;;;;;;;;;;;;;
+
+(when test-set<
+  (test-group "no set is < to itself"
+    (define (not-set< set)
+      (not (set<? set set)))
+    (test-property not-set< (list (random-sets))))
+  (test-group "deleting an element from a set makes it <"
+    (define (delete-set< set)
+      (let ((set- (set-delete set (find-some-element set))))
+        (set<? set- set)))
+    (test-property delete-set< (list (filter-non-empty-sets
+                                      (random-sets)))))
+  (test-group "adjoining an element to a set makes it <"
+    (define (adjoin-set< set)
+      (let ((set+ (set-adjoin set (cons #f #f))))
+        (set<? set set+)))
+    (test-property adjoin-set< (list (filter-non-empty-sets
+                                      (random-sets))))))
+
 ;;; ;;;;;;;;;;;;;;;;;;;;;;;;
 ;;; Set-intersection
 ;;; ;;;;;;;;;;;;;;;;;;;;;;;;