aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/lux/type.clj4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/lux/type.clj b/src/lux/type.clj
index cae91e588..a617a4483 100644
--- a/src/lux/type.clj
+++ b/src/lux/type.clj
@@ -57,9 +57,9 @@
(def Ident (Named$ (&/T ["lux" "Ident"]) (Prod$ Text Text)))
(def IO
- (Named$ (&/T ["lux/data" "IO"])
+ (Named$ (&/T ["lux/codata" "IO"])
(Univ$ empty-env
- (Lambda$ Unit (Bound$ 1)))))
+ (Lambda$ $Void (Bound$ 1)))))
(def List
(Named$ (&/T ["lux" "List"])