aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--stdlib/source/lux/control/io.lux6
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'."