From e5b99ce316436fbf38dd7c686e6a10f13c8b56d4 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 21 Mar 2019 20:02:50 -0400
Subject: Fixed a bug in the FRP/channel monad.

---
 stdlib/source/test/lux/control.lux                 |  9 ++++++---
 stdlib/source/test/lux/control/concurrency/frp.lux | 18 +++++++++---------
 2 files changed, 15 insertions(+), 12 deletions(-)

(limited to 'stdlib/source/test')

diff --git a/stdlib/source/test/lux/control.lux b/stdlib/source/test/lux/control.lux
index 22bd9741c..8bfd57da0 100644
--- a/stdlib/source/test/lux/control.lux
+++ b/stdlib/source/test/lux/control.lux
@@ -25,13 +25,15 @@
   ($_ _.and
       /actor.test
       /atom.test
-      /frp.test))
+      /frp.test
+      ))
 
 (def: security
   Test
   ($_ _.and
       /privacy.test
-      /integrity.test))
+      /integrity.test
+      ))
 
 (def: #export test
   Test
@@ -48,4 +50,5 @@
       /thread.test
       /writer.test
       ..concurrency
-      ..security))
+      ..security
+      ))
diff --git a/stdlib/source/test/lux/control/concurrency/frp.lux b/stdlib/source/test/lux/control/concurrency/frp.lux
index ea4d7adad..92e4838a8 100644
--- a/stdlib/source/test/lux/control/concurrency/frp.lux
+++ b/stdlib/source/test/lux/control/concurrency/frp.lux
@@ -5,13 +5,13 @@
    [control
     ["." monad (#+ do)]
     [concurrency
-     ["." promise ("#;." monad)]
+     ["." promise ("#@." monad)]
      ["." atom (#+ Atom atom)]]]
    [data
     [number
      ["." nat]]
     [collection
-     ["." list ("#;." functor)]]]
+     ["." list ("#@." functor)]]]
    [math
     ["r" random]]]
   {1
@@ -19,7 +19,7 @@
 
 (def: #export test
   Test
-  (let [(^open "list;.") (list.equivalence nat.equivalence)]
+  (let [(^open "list@.") (list.equivalence nat.equivalence)]
     (do r.monad
       [inputs (r.list 5 r.nat)
        sample r.nat]
@@ -30,7 +30,7 @@
                               (/.filter n/even?)
                               /.consume)]
                   (_.assert "Can filter a channel's elements."
-                            (list;= (list.filter n/even? inputs)
+                            (list@= (list.filter n/even? inputs)
                                     output))))
           (wrap (do promise.monad
                   [output (|> inputs
@@ -38,22 +38,22 @@
                               (:: /.functor map inc)
                               /.consume)]
                   (_.assert "Functor goes over every element in a channel."
-                            (list;= (list;map inc inputs)
+                            (list@= (list@map inc inputs)
                                     output))))
           (wrap (do promise.monad
                   [output (/.consume (:: /.apply apply
                                          (/.sequential 0 (list inc))
                                          (/.sequential 0 (list sample))))]
                   (_.assert "Apply works over all channel values."
-                            (list;= (list (inc sample))
+                            (list@= (list (inc sample))
                                     output))))
           (wrap (do promise.monad
                   [output (/.consume
                            (do /.monad
-                             [f (/.from-promise (promise;wrap inc))
-                              a (/.from-promise (promise;wrap sample))]
+                             [f (/.from-promise (promise@wrap inc))
+                              a (/.from-promise (promise@wrap sample))]
                              (wrap (f a))))]
                   (_.assert "Valid monad."
-                            (list;= (list (inc sample))
+                            (list@= (list (inc sample))
                                     output))))
           ))))
-- 
cgit v1.2.3