diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/control/cont.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/lux/control/cont.lux b/stdlib/source/lux/control/cont.lux index 1d5576ca0..db0202e40 100644 --- a/stdlib/source/lux/control/cont.lux +++ b/stdlib/source/lux/control/cont.lux @@ -1,4 +1,4 @@ -(;module: +(.module: lux (lux (control [functor #+ Functor] [applicative #+ Applicative] @@ -9,16 +9,16 @@ [syntax #+ syntax:]))) (type: #export (Cont i o) - {#;doc "Continuations."} + {#.doc "Continuations."} (-> (-> i o) o)) (def: #export (continue k cont) - {#;doc "Forces a continuation thunk to be evaluated."} + {#.doc "Forces a continuation thunk to be evaluated."} (All [i o] (-> (-> i o) (Cont i o) o)) (cont k)) (def: #export (run cont) - {#;doc "Forces a continuation thunk to be evaluated."} + {#.doc "Forces a continuation thunk to be evaluated."} (All [a] (-> (Cont a a) a)) (cont id)) @@ -46,7 +46,7 @@ (ffa (continue k))))) (def: #export (call/cc f) - {#;doc "Call with current continuation."} + {#.doc "Call with current continuation."} (All [a b z] (-> (-> (-> a (Cont b z)) (Cont a z)) @@ -56,10 +56,10 @@ k))) (syntax: #export (pending expr) - {#;doc (doc "Turns any expression into a function that is pending a continuation." + {#.doc (doc "Turns any expression into a function that is pending a continuation." (pending (some-computation some-input)))} (with-gensyms [g!k] - (wrap (list (` (;function [(~ g!k)] ((~ g!k) (~ expr)))))))) + (wrap (list (` (.function [(~ g!k)] ((~ g!k) (~ expr)))))))) (def: #export (portal init) (All [i o z] |