aboutsummaryrefslogtreecommitdiff
path: root/stdlib/test
diff options
context:
space:
mode:
authorEduardo Julian2017-12-04 19:46:36 -0400
committerEduardo Julian2017-12-04 19:46:36 -0400
commit077e8286b1168909d702ae0c28a0d2941c956f15 (patch)
tree29b18553df8fac35ecb377813b66b67a8bdebddd /stdlib/test
parent0b946aa762f777682c53c6171b4797f8869204bb (diff)
- No longer deleting type-vars in luxc, to better match it with the type-checking in new-luxc.
- Fixed some minor bugs and inconsistencies.
Diffstat (limited to 'stdlib/test')
-rw-r--r--stdlib/test/test/lux/concurrency/frp.lux4
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/test/test/lux/concurrency/frp.lux b/stdlib/test/test/lux/concurrency/frp.lux
index 057f155d0..717eb0624 100644
--- a/stdlib/test/test/lux/concurrency/frp.lux
+++ b/stdlib/test/test/lux/concurrency/frp.lux
@@ -10,7 +10,7 @@
(def: (to-channel values)
(-> (List Int) (&.Channel Int))
- (let [_channel (&.channel Int)]
+ (let [_channel (: (&.Channel Int) (&.channel))]
(io.run (do io.Monad<IO>
[_ (M.map @ (function [value] (&.write value _channel))
values)
@@ -31,7 +31,7 @@
(wrap (do P.Monad<Promise>
[elems (&.consume (let [input (to-channel (list 0 1 2 3 4 5))
- output (&.channel Int)]
+ output (: (&.Channel Int) (&.channel))]
(exec (&.pipe input output)
output)))]
(assert "Can pipe one channel into another."