From 17e7566be51df5e428a6b10e6469201a8a9468da Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 7 Aug 2021 02:20:09 -0400
Subject: Made the be/de macros for (co)monadic expression extensible.

---
 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 ca533e853..9d5f719ed 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -232,7 +232,7 @@
   Test
   (do random.monad
     [expected random.nat
-     #let [local_returner (: (Returner Nat)
+     .let [local_returner (: (Returner Nat)
                              (/.implementation
                               (def: (return _)
                                 expected)))]]
@@ -269,7 +269,7 @@
   (do random.monad
     [start random.nat
      factor random.nat
-     #let [expected (n.* factor (inc start))]]
+     .let [expected (n.* factor (inc start))]]
     ($_ _.and
         (_.cover [/.|>]
                  (n.= expected
@@ -463,7 +463,7 @@
      expected_left random.nat
      expected_right random.nat
 
-     #let [existential_type (\ ! map (|>> #.Ex) random.nat)]
+     .let [existential_type (\ ! map (|>> #.Ex) random.nat)]
      expected/0 existential_type
      expected/1 existential_type]
     (<| (_.for [/.Type])
@@ -648,7 +648,7 @@
      shift/s random.nat
      shift/b random.nat
      text (random.ascii/lower 1)
-     #let [expected/s (n.+ shift/s start/s)
+     .let [expected/s (n.+ shift/s start/s)
            expected/b (n.+ shift/b start/b)
 
            sample {#big_left start/b
@@ -730,7 +730,7 @@
     [left (random.ascii/lower 1)
      mid (random.ascii/lower 1)
      right (random.ascii/lower 1)
-     #let [expected (text.join_with "" (list left mid right))]]
+     .let [expected (text.join_with "" (list left mid right))]]
     (_.cover [/.$_ /._$]
              (with_expansions [<left_association> (/._$ format
                                                         left
@@ -751,7 +751,7 @@
     [left random.nat
      right random.nat
      dummy random.nat
-     #let [expected (n.+ left right)]]
+     .let [expected (n.+ left right)]]
     ($_ _.and
         (_.cover [/.as_is]
                  (`` (and (~~ (as_is true
@@ -985,7 +985,7 @@
       (do random.monad
         [factor (random\map (|>> (n.% 10) (n.max 1)) random.nat)
          iterations (random\map (n.% 10) random.nat)
-         #let [expected (n.* factor iterations)]]
+         .let [expected (n.* factor iterations)]]
         (_.cover [/.loop]
                  (n.= expected
                       (/.loop [counter 0
@@ -996,7 +996,7 @@
       (do random.monad
         [pre random.nat
          post (random.only (|>> (n.= pre) not) random.nat)
-         #let [box (atom.atom pre)]]
+         .let [box (atom.atom pre)]]
         (_.cover [/.exec]
                  (and (is? pre (io.run (atom.read box)))
                       (/.exec
-- 
cgit v1.2.3