From 1797521191746640e761cc1b4973d46b8c403dee Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 28 Jan 2021 20:14:11 -0400
Subject: Implemented arithmetic right-shift in terms of logic right-shift.

---
 stdlib/source/test/aedifex/artifact/time.lux | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to 'stdlib/source/test/aedifex/artifact/time.lux')

diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
index 880bc1f83..4bf63018c 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -11,7 +11,7 @@
     [parser
      ["<.>" text]]]
    [math
-    ["." random]]
+    ["." random (#+ Random)]]
    [time
     ["." instant]]]
   {#program
@@ -20,16 +20,20 @@
    ["#." date]
    ["#." time]])
 
+(def: #export random
+  (Random /.Time)
+  random.instant)
+
 (def: #export test
   Test
   (<| (_.covering /._)
       (_.for [/.Time])
       ($_ _.and
           (_.for [/.equivalence]
-                 ($equivalence.spec /.equivalence random.instant))
+                 ($equivalence.spec /.equivalence ..random))
 
           (do random.monad
-            [expected random.instant]
+            [expected ..random]
             (_.cover [/.format /.parser]
                      (|> expected
                          /.format
-- 
cgit v1.2.3