diff options
author | Eduardo Julian | 2019-02-04 20:37:54 -0400 |
---|---|---|
committer | Eduardo Julian | 2019-02-04 20:37:54 -0400 |
commit | 7e4479b927f400e617602a8686683e14a7f2f74a (patch) | |
tree | d5f5f117cace26e19f6a54b78d78b524df250974 /luxc | |
parent | 02bd27592bb36efb97120f2c852374130209017d (diff) |
Re-implemented the IO type as an abstract type in order to avoid potential issues with sub-typing during type-checking.
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"]) |