diff options
| author | Eduardo Julian | 2016-12-22 00:34:51 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2016-12-22 00:34:51 -0400 |
| commit | 5becc5d52eb60fd69e11d6824f9aa6634a94b38c (patch) | |
| tree | d64a458c1f75ea3ee3a61bfb39ba9755a5a0934d | |
| parent | ca8c544b812c3cc4c7bb8cf509b1eb30a2484a4c (diff) | |
- Won't be testing call/cc for now.
| -rw-r--r-- | stdlib/source/lux/codata/cont.lux | 5 | ||||
| -rw-r--r-- | stdlib/test/test/lux/codata/cont.lux | 12 |
2 files changed, 10 insertions, 7 deletions
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<Cont> - [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<Cont> + ## [func (wrap n.inc) + ## _ (&;call/cc (lambda [k] (k (n.dec sample)))) + ## arg (wrap sample)] + ## (wrap (func arg)))))) )) |