diff options
| author | Eduardo Julian | 2016-01-22 01:39:58 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2016-01-22 01:39:58 -0400 |
| commit | 9a82ab5aeea680ed00dc497116f08aa417eb7013 (patch) | |
| tree | d1daff433b26636381e9f3beee7259d818e6a4fb | |
| parent | 133de56b3a5a44f835713008855845af984fa4ee (diff) | |
- Updated the IO type in lux.type to reflect the new version of the IO type at lux/codata/io.
| -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"]) |