From 94e5802f594a73245fce0fbd885103b8bf210d57 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 2 Dec 2022 19:33:00 -0400
Subject: Added some simple time-series handling machinery.

---
 stdlib/source/test/lux.lux | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

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

diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index c86ef4fe0..068727e9f 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -196,14 +196,14 @@
     (_.for [/.Interface]
            (all _.and
                 (_.coverage [/.implementation]
-                  (n.= expected (at local_returner return [])))
+                  (n.= expected (of local_returner return [])))
                 (_.coverage [/.use]
                   (n.= static_return (global#return [])))
                 (_.coverage [/.open]
                   (let [(/.open "local#[0]") local_returner]
                     (n.= expected (local#return []))))
-                (_.coverage [/.at]
-                  (n.= expected (/.at local_returner return [])))
+                (_.coverage [/.of]
+                  (n.= expected (/.of local_returner return [])))
                 ))))
 
 (def for_module
@@ -335,7 +335,7 @@
 (def for_code
   Test
   (do [! random.monad]
-    [example (at ! each code.nat random.nat)
+    [example (of ! each code.nat random.nat)
      example_bit random.bit
      example_nat random.nat
      example_int random.int]
@@ -404,7 +404,7 @@
 
 (def identity_macro
   (/.macro (_ tokens)
-    (at meta.monad in tokens)))
+    (of meta.monad in tokens)))
 
 (def crosshair
   "This is an arbitrary text whose only purpose is to be found, somewhere, in the source-code.")
@@ -564,7 +564,7 @@
      expected_left random.nat
      expected_right random.nat
 
-     .let [existential_type (at ! each (|>> {.#Ex}) random.nat)]
+     .let [existential_type (of ! each (|>> {.#Ex}) random.nat)]
      expected/0 existential_type
      expected/1 existential_type]
     (<| (_.for [/.Type])
@@ -980,8 +980,8 @@
 (def for_when
   Test
   (do [! random.monad]
-    [expected_nat (at ! each (n.% 1) random.nat)
-     expected_int (at ! each (i.% +1) random.int)
+    [expected_nat (of ! each (n.% 1) random.nat)
+     expected_int (of ! each (i.% +1) random.int)
      expected_rev (random.either (in .5)
                                  (in .25))
      expected_frac (random.either (in +0.5)
-- 
cgit v1.2.3