diff options
Diffstat (limited to '')
| -rw-r--r-- | src/lux/type.clj | 4 |
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"]) |