From ce4ffdcecd271b9cebf62d71977a2d5cb5a1a0ee Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 16 Nov 2021 03:15:39 -0400
Subject: 64-bit integers that work in both normal Ruby & DragonRuby.

---
 stdlib/source/test/lux.lux | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'stdlib/source/test/lux.lux')

diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index 84353e082..7026c0a48 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -865,10 +865,12 @@
                                    (hide left))
                                 true)))))
         (_.cover [/.same?]
-                 (let [not_left (|> left ++ --)]
-                   (and (/.same? left left)
-                        (and (n.= not_left left)
-                             (not (/.same? not_left left))))))
+                 (let [not_left (|> left ++ -- %.nat)
+                       left (%.nat left)]
+                   (and (and (/.same? left left)
+                             (/.same? not_left not_left))
+                        (and (text#= left not_left)
+                             (not (/.same? left not_left))))))
         (_.cover [/.Rec]
                  (let [list (: (/.Rec NList
                                  (Maybe [Nat NList]))
-- 
cgit v1.2.3