From 84d7e87817cd2c074653b34d028c8fa807febc7f Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 5 Apr 2018 08:05:04 -0400
Subject: - Can now use resource/substructural types in pure computations.

---
 stdlib/test/test/lux/type/resource.lux | 36 +++++++++++++++++-----------------
 1 file changed, 18 insertions(+), 18 deletions(-)

(limited to 'stdlib/test')

diff --git a/stdlib/test/test/lux/type/resource.lux b/stdlib/test/test/lux/type/resource.lux
index b02a8d583..c92af92e8 100644
--- a/stdlib/test/test/lux/type/resource.lux
+++ b/stdlib/test/test/lux/type/resource.lux
@@ -11,36 +11,36 @@
       (test "Can produce and consume keys in an ordered manner."
             (<| (n/= (n/+ +123 +456))
                 io.run
-                resource.run
+                resource.run-sync
                 (do resource.IxMonad<Sync>
-                  [res|left (resource.ordered +123)
-                   res|right (resource.ordered +456)
-                   right (resource.read res|right)
-                   left (resource.read res|left)]
+                  [res|left (resource.ordered-sync +123)
+                   res|right (resource.ordered-sync +456)
+                   right (resource.read-sync res|right)
+                   left (resource.read-sync res|left)]
                   (wrap (n/+ left right)))))
       
       (test "Can exchange commutative keys."
             (<| (n/= (n/+ +123 +456))
                 io.run
-                resource.run
+                resource.run-sync
                 (do resource.IxMonad<Sync>
-                  [res|left (resource.commutative +123)
-                   res|right (resource.commutative +456)
-                   _ (resource.exchange [+1 +0])
-                   left (resource.read res|left)
-                   right (resource.read res|right)]
+                  [res|left (resource.commutative-sync +123)
+                   res|right (resource.commutative-sync +456)
+                   _ (resource.exchange-sync [+1 +0])
+                   left (resource.read-sync res|left)
+                   right (resource.read-sync res|right)]
                   (wrap (n/+ left right)))))
 
       (test "Can group and un-group keys."
             (<| (n/= (n/+ +123 +456))
                 io.run
-                resource.run
+                resource.run-sync
                 (do resource.IxMonad<Sync>
-                  [res|left (resource.commutative +123)
-                   res|right (resource.commutative +456)
-                   _ (resource.group +2)
-                   _ (resource.un-group +2)
-                   right (resource.read res|right)
-                   left (resource.read res|left)]
+                  [res|left (resource.commutative-sync +123)
+                   res|right (resource.commutative-sync +456)
+                   _ (resource.group-sync +2)
+                   _ (resource.un-group-sync +2)
+                   right (resource.read-sync res|right)
+                   left (resource.read-sync res|left)]
                   (wrap (n/+ left right)))))
       ))
-- 
cgit v1.2.3