aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source
diff options
context:
space:
mode:
authorEduardo Julian2019-05-17 20:04:38 -0400
committerEduardo Julian2019-05-17 20:04:38 -0400
commit206ab12554d858f2e8a5a2fe5b476d5ac77fef53 (patch)
treed8128b371bd3b1a11dd6d30710dbef6a1be006cf /stdlib/source
parent6916a864871247a2f6aa60d5c69814cd2ba8ae4b (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 'stdlib/source')
-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'."