From 077e8286b1168909d702ae0c28a0d2941c956f15 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Mon, 4 Dec 2017 19:46:36 -0400 Subject: - No longer deleting type-vars in luxc, to better match it with the type-checking in new-luxc. - Fixed some minor bugs and inconsistencies. --- stdlib/test/test/lux/concurrency/frp.lux | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'stdlib/test') 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 [_ (M.map @ (function [value] (&.write value _channel)) values) @@ -31,7 +31,7 @@ (wrap (do P.Monad [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." -- cgit v1.2.3