aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/extension/analysis/common.lux
diff options
context:
space:
mode:
authorEduardo Julian2018-05-06 00:45:45 -0400
committerEduardo Julian2018-05-06 00:45:45 -0400
commit8787650c4b1641832db9df2c35bc3046e886220e (patch)
tree8c14799379226aa8452d39d91e9a56896db9187f /new-luxc/source/luxc/lang/extension/analysis/common.lux
parent3c93d7a3aabaa49c67f9a498bc0d70f0af7f09d0 (diff)
- Updated new-luxc to the latest stdlib changes.
Diffstat (limited to 'new-luxc/source/luxc/lang/extension/analysis/common.lux')
-rw-r--r--new-luxc/source/luxc/lang/extension/analysis/common.lux10
1 files changed, 5 insertions, 5 deletions
diff --git a/new-luxc/source/luxc/lang/extension/analysis/common.lux b/new-luxc/source/luxc/lang/extension/analysis/common.lux
index 8ec031066..aa6b6a547 100644
--- a/new-luxc/source/luxc/lang/extension/analysis/common.lux
+++ b/new-luxc/source/luxc/lang/extension/analysis/common.lux
@@ -7,7 +7,7 @@
text/format
(coll [list "list/" Functor<List>]
[array]
- [dict #+ Dict]))
+ (dictionary ["dict" unordered #+ Dict])))
[macro]
(macro [code])
(lang (type ["tc" check]))
@@ -191,7 +191,7 @@
Bundle
(<| (prefix "io")
(|> (dict.new text.Hash<Text>)
- (install "log" (unary Text Unit))
+ (install "log" (unary Text Top))
(install "error" (unary Text Bottom))
(install "exit" (unary Int Bottom))
(install "current-time" (nullary Int)))))
@@ -428,7 +428,7 @@
(do macro.Monad<Meta>
[[thread-id threadT] (&.with-type-env tc.var)
[var-id varT] (&.with-type-env tc.var)]
- ((binary varT (type (Box threadT varT)) Unit proc)
+ ((binary varT (type (Box threadT varT)) Top proc)
analyse eval args))))
(def: box-procs
@@ -445,8 +445,8 @@
(<| (prefix "process")
(|> (dict.new text.Hash<Text>)
(install "concurrency-level" (nullary Nat))
- (install "future" (unary (type (io.IO Top)) Unit))
- (install "schedule" (binary Nat (type (io.IO Top)) Unit))
+ (install "future" (unary (type (io.IO Top)) Top))
+ (install "schedule" (binary Nat (type (io.IO Top)) Top))
)))
(def: #export procedures