- Updated to the latest changes in stdlib.

1 files changed, 8 insertions, 8 deletions

diff --git a/new-luxc/source/luxc/analyser/type.lux b/new-luxc/source/luxc/analyser/type.lux
index b69790a59..d0b038d93 100644
--- a/new-luxc/source/luxc/analyser/type.lux
+++ b/new-luxc/source/luxc/analyser/type.lux
@@ -1,8 +1,8 @@
 (;module:
   lux
   (lux (control monad)
-       [macro #+ Monad<Lux>]
-       (type ["TC" check]))
+       [meta #+ Monad<Meta>]
+       (meta (type ["TC" check])))
   (luxc ["&" base]
         (lang ["la" analysis #+ Analysis])))
 
@@ -10,21 +10,21 @@
 ## means of evaluating Lux expressions at compile-time for the sake of
 ## computing Lux type values.
 (def: #export (analyse-check analyse eval type value)
-  (-> &;Analyser &;Eval Code Code (Lux Analysis))
-  (do Monad<Lux>
+  (-> &;Analyser &;Eval Code Code (Meta Analysis))
+  (do Monad<Meta>
     [actual (eval Type type)
      #let [actual (:! Type actual)]
-     expected macro;expected-type
+     expected meta;expected-type
      _ (&;with-type-env
          (TC;check expected actual))]
     (&;with-expected-type actual
       (analyse value))))
 
 (def: #export (analyse-coerce analyse eval type value)
-  (-> &;Analyser &;Eval Code Code (Lux Analysis))
-  (do Monad<Lux>
+  (-> &;Analyser &;Eval Code Code (Meta Analysis))
+  (do Monad<Meta>
     [actual (eval Type type)
-     expected macro;expected-type
+     expected meta;expected-type
      _ (&;with-type-env
          (TC;check expected (:! Type actual)))]
     (&;with-expected-type Top