From 4b07eca3ed255fd11bf5295d79901184e6cceb03 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 8 Dec 2016 07:10:45 -0400 Subject: - Updated & expanded lux/concurrency/* tests. --- stdlib/source/lux/concurrency/stm.lux | 18 ++++++++---------- 1 file changed, 8 insertions(+), 10 deletions(-) (limited to 'stdlib/source') diff --git a/stdlib/source/lux/concurrency/stm.lux b/stdlib/source/lux/concurrency/stm.lux index cf9624409..89bbab2af 100644 --- a/stdlib/source/lux/concurrency/stm.lux +++ b/stdlib/source/lux/concurrency/stm.lux @@ -13,6 +13,7 @@ [dict #+ Dict]) [product] [text] + maybe text/format) host [compiler] @@ -52,16 +53,13 @@ (def: (find-var-value var tx) (All [a] (-> (Var a) Tx (Maybe a))) - (:! (Maybe ($ +0)) - (find (: (-> (Ex [a] (Tx-Frame a)) - (Maybe Unit)) - (lambda [[_var _original _current]] - (:! (Maybe Unit) - (if (== (:! (Var Unit) var) - (:! (Var Unit) _var)) - (#;Some _current) - #;None)))) - tx))) + (|> tx + (find (lambda [[_var _original _current]] + (== (:! (Var Unit) var) + (:! (Var Unit) _var)))) + (:: Monad map (lambda [[_var _original _current]] + _current)) + (:! (Maybe ($ +0))))) (def: #export (read var) (All [a] (-> (Var a) (STM a))) -- cgit v1.2.3