From: Mattias Engdegård <mattiase@acm.org>
Date: Thu, 4 Jul 2024 13:39:32 +0000 (+0200)
Subject: ; Strengthen value< tests slightly
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=7933e2599b00bad027d9c336500f8343040d6092;p=emacs.git

; Strengthen value< tests slightly

* test/src/fns-tests.el (fns-value<-ordered, fns-value<-unordered):
Check equality and/or unordered results using lexicographic constructs.

(cherry picked from commit 0b061ab2ed250f068e4fd36ed6c1c8cb2102b83c)
---

diff --git a/test/src/fns-tests.el b/test/src/fns-tests.el
index c5908c7b3d5..00bec38ad9f 100644
--- a/test/src/fns-tests.el
+++ b/test/src/fns-tests.el
@@ -1672,7 +1672,11 @@
             (should (value< x y))
             (should-not (value< y x))
             (should-not (value< x x))
-            (should-not (value< y y))))
+            (should-not (value< y y))
+            (should (value< (vector x 2) (vector y 1)))
+            (should-not (value< (vector y 1) (vector x 2)))
+            (should (value< (vector x 1) (vector x 2)))
+            (should (value< (vector y 1) (vector y 2)))))
 
       (delete-process proc2)
       (delete-process proc1)
@@ -1707,7 +1711,9 @@
       (let ((x (car c))
             (y (cdr c)))
         (should-not (value< x y))
-        (should-not (value< y x))))))
+        (should-not (value< y x))
+        (should (value< (cons x 1) (cons y 2)))
+        (should-not (value< (cons x 2) (cons y 1)))))))
 
 (ert-deftest fns-value<-type-mismatch ()
   ;; values of disjoint (incomparable) types