diff options
Diffstat (limited to 'luxc')
-rw-r--r-- | luxc/src/lux/type.clj | 4 |
1 files changed, 2 insertions, 2 deletions
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"]) |