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/spec/lux/abstract/equivalence.lux | 6 +++---
 stdlib/source/spec/lux/abstract/hash.lux        | 6 +++---
 2 files changed, 6 insertions(+), 6 deletions(-)

(limited to 'stdlib/source/spec')

diff --git a/stdlib/source/spec/lux/abstract/equivalence.lux b/stdlib/source/spec/lux/abstract/equivalence.lux
index 5c5114f4d..f3d97e5b6 100644
--- a/stdlib/source/spec/lux/abstract/equivalence.lux
+++ b/stdlib/source/spec/lux/abstract/equivalence.lux
@@ -8,11 +8,11 @@
   {1
    ["." / (#+ Equivalence)]})
 
-(def: #export (spec (^open "_//.") generator)
+(def: #export (spec (^open "_//.") random)
   (All [a] (-> (Equivalence a) (Random a) Test))
   (do random.monad
-    [left generator
-     right generator]
+    [left random
+     right random]
     (<| (_.for [/.Equivalence])
         ($_ _.and
             (_.test "Reflexivity."
diff --git a/stdlib/source/spec/lux/abstract/hash.lux b/stdlib/source/spec/lux/abstract/hash.lux
index 17f8d12f2..543ea2a85 100644
--- a/stdlib/source/spec/lux/abstract/hash.lux
+++ b/stdlib/source/spec/lux/abstract/hash.lux
@@ -12,11 +12,11 @@
   {1
    ["." /]})
 
-(def: #export (spec (^open "\.") generator)
+(def: #export (spec (^open "\.") random)
   (All [a] (-> (/.Hash a) (Random a) Test))
   (do random.monad
-    [parameter generator
-     subject generator]
+    [parameter random
+     subject random]
     (_.cover [/.Hash]
              (bit\= (\= parameter subject)
                     (n.= (\hash parameter) (\hash subject))))))
-- 
cgit v1.2.3