From 206ab12554d858f2e8a5a2fe5b476d5ac77fef53 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 17 May 2019 20:04:38 -0400
Subject: The IO type now uses "Any" instead of "Nothing", to avoid the
 possibility of the dummy argument being used in any meaningful way.

---
 stdlib/source/lux/control/io.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'stdlib')

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'."
-- 
cgit v1.2.3