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 /stdlib/source | |
| parent | ca8c544b812c3cc4c7bb8cf509b1eb30a2484a4c (diff) | |
- Won't be testing call/cc for now.
Diffstat (limited to 'stdlib/source')
| -rw-r--r-- | stdlib/source/lux/codata/cont.lux | 5 |
1 files changed, 4 insertions, 1 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)) |