- Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".

1 files changed, 14 insertions, 14 deletions

diff --git a/stdlib/source/lux/concurrency/actor.lux b/stdlib/source/lux/concurrency/actor.lux
index c09cde8bc..fea0ca422 100644
--- a/stdlib/source/lux/concurrency/actor.lux
+++ b/stdlib/source/lux/concurrency/actor.lux
@@ -5,7 +5,7 @@
                 ["ex" exception #+ exception:])
        [io #- run "io/" Monad<IO>]
        (data text/format
-             (coll [list "L/" Monoid<List> Monad<List> Fold<List>])
+             (coll [list "list/" Monoid<List> Monad<List> Fold<List>])
              [product])
        [meta #+ with-gensyms Monad<Meta>]
        (meta [code]
@@ -13,8 +13,8 @@
              (syntax ["cs" common]
                      (common ["csr" reader]
                              ["csw" writer]))
-             [type]
-             (type opaque)))
+             (type opaque))
+       (lang [type]))
   (.. ["A" atom]
       ["P" promise "P/" Monad<Promise>]
       ["T" task]
@@ -229,7 +229,7 @@
              g!behavior (code;local-symbol (behavior-name _name))
              g!actor (code;local-symbol _name)
              g!new (code;local-symbol (new-name _name))
-             g!vars (L/map code;local-symbol _vars)]]
+             g!vars (list/map code;local-symbol _vars)]]
       (wrap (list (` (type: (~@ (csw;export export)) ((~ g!type) (~@ g!vars))
                        (~ state-type)))
                   (` (type: (~@ (csw;export export)) ((~ g!actor) (~@ g!vars))
@@ -313,29 +313,29 @@
       [actor-name (resolve-actor actor-name)
        #let [g!type (code;symbol (product;both id state-name actor-name))
              g!message (code;local-symbol (get@ #name signature))
-             g!actor-vars (L/map code;local-symbol actor-vars)
+             g!actor-vars (list/map code;local-symbol actor-vars)
              g!actor (` ((~ (code;symbol actor-name)) (~@ g!actor-vars)))
-             g!all-vars (|> (get@ #vars signature) (L/map code;local-symbol) (L/compose g!actor-vars))
-             g!inputsC (|> (get@ #inputs signature) (L/map (|>. product;left code;local-symbol)))
-             g!inputsT (|> (get@ #inputs signature) (L/map product;right))
+             g!all-vars (|> (get@ #vars signature) (list/map code;local-symbol) (list/compose g!actor-vars))
+             g!inputsC (|> (get@ #inputs signature) (list/map (|>. product;left code;local-symbol)))
+             g!inputsT (|> (get@ #inputs signature) (list/map product;right))
              g!state (|> signature (get@ #state) code;local-symbol)
              g!self (|> signature (get@ #self) code;local-symbol)
              g!actor-refs (: (List Code)
                              (if (list;empty? actor-vars)
                                (list)
                                (|> actor-vars list;size n.dec
-                                   (list;n.range +0) (L/map (|>. code;nat (~) ($) (`))))))
+                                   (list;n.range +0) (list/map (|>. code;nat (~) ($) (`))))))
              ref-replacements (|> (if (list;empty? actor-vars)
                                     (list)
                                     (|> actor-vars list;size n.dec
-                                        (list;n.range +0) (L/map (|>. code;nat (~) ($) (`)))))
+                                        (list;n.range +0) (list/map (|>. code;nat (~) ($) (`)))))
                                   (: (List Code))
                                   (list;zip2 g!all-vars)
                                   (: (List [Code Code])))
-             g!outputT (L/fold (function [[g!var g!ref] outputT]
-                                 (code;replace g!var g!ref outputT))
-                               (get@ #output signature)
-                               ref-replacements)]]
+             g!outputT (list/fold (function [[g!var g!ref] outputT]
+                                    (code;replace g!var g!ref outputT))
+                                  (get@ #output signature)
+                                  ref-replacements)]]
       (wrap (list (` (def: (~@ (csw;export export)) ((~ g!message) (~@ g!inputsC) (~ g!self))
                        (~ (|> annotations
                               (with-message actor-name)