diff options
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)) |