diff options
Diffstat (limited to 'new-luxc/source/luxc/lang/extension/analysis/common.lux')
| -rw-r--r-- | new-luxc/source/luxc/lang/extension/analysis/common.lux | 10 |
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 |