From 7e4479b927f400e617602a8686683e14a7f2f74a Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 4 Feb 2019 20:37:54 -0400
Subject: Re-implemented the IO type as an abstract type in order to avoid
 potential issues with sub-typing during type-checking.

---
 luxc/src/lux/type.clj | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'luxc')

diff --git a/luxc/src/lux/type.clj b/luxc/src/lux/type.clj
index 9a1e12e18..ec8849601 100644
--- a/luxc/src/lux/type.clj
+++ b/luxc/src/lux/type.clj
@@ -66,9 +66,9 @@
                     (&/$Parameter 1))))
 
 (def IO
-  (&/$Named (&/T ["lux/codata" "IO"])
+  (&/$Named (&/T ["lux/io" "IO"])
             (&/$UnivQ empty-env
-                      (&/$Function Nothing (&/$Parameter 1)))))
+                      (&/$Primitive "lux/type/abstract.Abstraction lux/io.IO" (&/|list (&/$Parameter 1))))))
 
 (def List
   (&/$Named (&/T ["lux" "List"])
-- 
cgit v1.2.3