1 files changed, 10 insertions, 10 deletions
diff --git a/new-luxc/source/luxc/analyser/procedure/common.lux b/new-luxc/source/luxc/analyser/procedure/common.lux
index a0f739f3b..04aa35e05 100644
--- a/new-luxc/source/luxc/analyser/procedure/common.lux
+++ b/new-luxc/source/luxc/analyser/procedure/common.lux
@@ -5,10 +5,10 @@
        (data [text]
              text/format
              (coll [list "list/" Functor<List>]
-                   [array #+ Array]
+                   [array]
                    [dict #+ Dict]))
-       [macro #+ Monad<Lux>]
-       (type ["tc" check])
+       [meta #+ Monad<Meta>]
+       (meta (type ["tc" check]))
        [io])
   (luxc ["&" base]
         (lang ["la" analysis])
@@ -16,7 +16,7 @@
 
 ## [Utils]
 (type: #export Proc
-  (-> &;Analyser (List Code) (Lux la;Analysis)))
+  (-> &;Analyser (List Code) (Meta la;Analysis)))
 
 (type: #export Bundle
   (Dict Text Proc))
@@ -45,13 +45,13 @@
     (function [analyse args]
       (let [num-actual (list;size args)]
         (if (n.= num-expected num-actual)
-          (do Monad<Lux>
+          (do Monad<Meta>
             [argsA (monad;map @
                               (function [[argT argC]]
                                 (&;with-expected-type argT
                                   (analyse argC)))
                               (list;zip2 input-types args))
-             expected macro;expected-type
+             expected meta;expected-type
              _ (&;with-type-env
                  (tc;check expected output-type))]
             (wrap (#la;Procedure proc argsA)))
@@ -92,12 +92,12 @@
       (function [[var-id varT]]
         (case args
           (^ (list opC))
-          (do Monad<Lux>
+          (do Monad<Meta>
             [opA (&;with-expected-type (type (io;IO varT))
                    (analyse opC))
              outputT (&;with-type-env
                        (tc;clean var-id (type (Either Text varT))))
-             expected macro;expected-type
+             expected meta;expected-type
              _ (&;with-type-env
                  (tc;check expected outputT))]
             (wrap (#la;Procedure proc (list opA))))
@@ -285,12 +285,12 @@
       (function [[var-id varT]]
         (case args
           (^ (list initC))
-          (do Monad<Lux>
+          (do Monad<Meta>
             [initA (&;with-expected-type varT
                      (analyse initC))
              outputT (&;with-type-env
                        (tc;clean var-id (type (A;Atom varT))))
-             expected macro;expected-type
+             expected meta;expected-type
              _ (&;with-type-env
                  (tc;check expected outputT))]
             (wrap (#la;Procedure proc (list initA))))