From 5becc5d52eb60fd69e11d6824f9aa6634a94b38c Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 22 Dec 2016 00:34:51 -0400 Subject: - Won't be testing call/cc for now. --- stdlib/source/lux/codata/cont.lux | 5 ++++- stdlib/test/test/lux/codata/cont.lux | 12 ++++++------ 2 files changed, 10 insertions(+), 7 deletions(-) (limited to 'stdlib') diff --git a/stdlib/source/lux/codata/cont.lux b/stdlib/source/lux/codata/cont.lux index ddc15f1f3..a75e5a029 100644 --- a/stdlib/source/lux/codata/cont.lux +++ b/stdlib/source/lux/codata/cont.lux @@ -32,7 +32,10 @@ ## [Functions] (def: #export (call/cc f) {#;doc "Call with current continuation."} - (All [a b c] (Cont (-> a (Cont b c)) (Cont a c))) + (All [a b c] + (-> (-> (-> a (Cont b c)) + (Cont a c)) + (Cont a c))) (lambda [k] (f (lambda [a _] (k a)) diff --git a/stdlib/test/test/lux/codata/cont.lux b/stdlib/test/test/lux/codata/cont.lux index 7e2daa823..251f8f50d 100644 --- a/stdlib/test/test/lux/codata/cont.lux +++ b/stdlib/test/test/lux/codata/cont.lux @@ -36,10 +36,10 @@ arg (wrap sample)] (wrap (func arg)))))) - (assert "Can access current continuation." - (n.= (n.dec sample) (&;run (do &;Monad - [func (wrap n.inc) - _ (&;call/cc (lambda [k] (k (n.dec sample)))) - arg (wrap sample)] - (wrap (func arg)))))) + ## (assert "Can access current continuation." + ## (n.= (n.dec sample) (&;run (do &;Monad + ## [func (wrap n.inc) + ## _ (&;call/cc (lambda [k] (k (n.dec sample)))) + ## arg (wrap sample)] + ## (wrap (func arg)))))) )) -- cgit v1.2.3