diff options
| author | Eduardo Julian | 2019-05-17 20:04:38 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-05-17 20:04:38 -0400 |
| commit | 206ab12554d858f2e8a5a2fe5b476d5ac77fef53 (patch) | |
| tree | d8128b371bd3b1a11dd6d30710dbef6a1be006cf | |
| parent | 6916a864871247a2f6aa60d5c69814cd2ba8ae4b (diff) | |
The IO type now uses "Any" instead of "Nothing", to avoid the possibility of the dummy argument being used in any meaningful way.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/control/io.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/lux/control/io.lux b/stdlib/source/lux/control/io.lux index e4e358878..da93918c3 100644 --- a/stdlib/source/lux/control/io.lux +++ b/stdlib/source/lux/control/io.lux @@ -15,10 +15,10 @@ (abstract: #export (IO a) {#.doc "A type that represents synchronous, effectful computations that may interact with the outside world."} - (-> Nothing a) + (-> Any a) (def: #export (label thunk) - (All [a] (-> (-> Nothing a) (IO a))) + (All [a] (-> (-> Any a) (IO a))) (:abstraction thunk)) (template: (!io computation) @@ -28,7 +28,7 @@ (template: (!execute io) ## creatio ex nihilo - ((:representation io) (:coerce .Nothing []))) + ((:representation io) [])) (syntax: #export (io computation) {#.doc (doc "Delays the evaluation of an expression, by wrapping it in an IO 'thunk'." |